Trace number 4307089

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 97.4634 33.1839

General information on the benchmark

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

Solver Data 

0.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-10259-serial-file.bin HOME/instance-4307089-1534196537.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.55	c BEGIN-Prog: Mon Aug 13 23:42:17 CEST 2018
0.65/0.55	c PID: 10262
0.65/0.55	c IP: 172.20.3.139
0.65/0.55	c HOST: node139.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.08/1.37	c (0,0) Parsing End
3.08/1.38	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26
3.08/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.08/1.38	c (0,0) Constraint Name Generate Begin
3.42/1.41	c (0,0) Ctr:HOME/instance-4307089-1534196537.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.42/1.41	c (0,0) Constraint Name Generate End
3.42/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.42/1.41	c (0,0) CSP to CSPinCNF Begin
11.99/4.49	c (3,3) translated 143 (10%) constraints
12.51/4.95	c (4,4) translated 286 (20%) constraints
12.51/4.97	c (4,4) translated 429 (30%) constraints
12.51/4.99	c (4,4) translated 572 (40%) constraints
12.88/5.02	c (4,4) translated 715 (50%) constraints
12.88/5.04	c (4,4) translated 858 (60%) constraints
12.88/5.06	c (4,4) translated 1001 (70%) constraints
12.88/5.07	c (4,4) translated 1144 (80%) constraints
15.06/6.52	c (5,5) translated 1287 (90%) constraints
16.16/7.60	c (7,7) translated 1429 (100%) constraints
17.47/8.15	c (7,7) STATISTICS1:HOME/instance-4307089-1534196537.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
17.47/8.15	c (7,7) ==========================================
17.47/8.15	c (7,7) Order
17.47/8.15	c (7,7) ==========================================
19.63/8.89	c (8,8) translated 5706 (10%) constraints
20.81/9.14	c (8,8) translated 11411 (20%) constraints
21.16/9.24	c (8,8) translated 17117 (30%) constraints
21.37/9.33	c (8,8) translated 22822 (40%) constraints
21.51/9.41	c (8,8) translated 28527 (50%) constraints
21.61/9.50	c (8,8) translated 34233 (60%) constraints
21.61/9.59	c (9,9) translated 39938 (70%) constraints
21.71/9.68	c (9,9) translated 45644 (80%) constraints
21.81/9.76	c (9,9) translated 51349 (90%) constraints
26.68/11.82	c (11,11) translated 57054 (100%) constraints
26.68/11.83	c (11,11) CSP to CSPinCNF End
26.68/11.84	c (11,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77698 ctr, max domain size 68
26.68/11.84	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.68/11.84	c (11,11) CSPinCNF Propagation Begin
28.46/12.48	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.46/12.48	c (11,11) CSPinCNF Propagation End
28.46/12.48	c (11,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
28.46/12.48	c (11,11) Heap : 284 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
28.46/12.48	c (11,11) Simplify CSPinCNF Begin
29.13/12.63	c (12,11) Simplify CSPinCNF End
29.13/12.64	c (12,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
29.13/12.64	c (12,11) Heap : 284 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
29.13/12.64	c (12,11) Calculate Precise Domain Begin
29.13/12.68	c (12,11) 0 values are removed by re-calculation
29.13/12.68	c (12,11) Calculate Precise Domain End
29.13/12.69	c (12,12) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
29.13/12.69	c (12,12) Heap : 284 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
29.13/12.69	c (12,12) CSPinCNF to SatSolver Begin
32.29/14.76	c (14,14) 7730 (10 %) CSP clauses are encoded (94297 SAT variables, 584865 SAT clauses)
32.62/14.82	c (14,14) 15460 (20 %) CSP clauses are encoded (94297 SAT variables, 592595 SAT clauses)
32.62/14.88	c (14,14) 23190 (30 %) CSP clauses are encoded (94297 SAT variables, 600325 SAT clauses)
32.86/14.93	c (14,14) 30920 (40 %) CSP clauses are encoded (94297 SAT variables, 608055 SAT clauses)
32.86/14.97	c (14,14) 38649 (50 %) CSP clauses are encoded (94297 SAT variables, 615784 SAT clauses)
33.01/15.01	c (14,14) 46379 (60 %) CSP clauses are encoded (94297 SAT variables, 623514 SAT clauses)
33.01/15.05	c (14,14) 54109 (70 %) CSP clauses are encoded (94297 SAT variables, 631244 SAT clauses)
33.01/15.09	c (14,14) 61839 (80 %) CSP clauses are encoded (94297 SAT variables, 638974 SAT clauses)
33.62/15.44	c (14,14) 69569 (90 %) CSP clauses are encoded (94297 SAT variables, 759892 SAT clauses)
38.61/20.17	c (19,19) 77298 (100 %) CSP clauses are encoded (94297 SAT variables, 2458952 SAT clauses)
38.61/20.17	c (19,19) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
38.61/20.17	c (19,19) CSPinCNF to SatSolver End
38.61/20.17	c (19,19) Heap : 981 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
39.65/20.51	c (19,19) STATISTICS2:HOME/instance-4307089-1534196537.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25757,77298,4556,68,24,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:294;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:20;650:15;625:16;600:16;576:16;552:19;529:14;512:759;506:17;484:16;462:15;441:27;420:14;400:16;380:17;361:15;342:18;324:32;306:85;289:71;288:4;272:78;270:8;256:1913;255:16;252:4;240:69;238:8;225:87;216:4;210:71;204:8;196:78;182:74;180:12;170:24;169:69;162:4;156:70;153:8;144:77;132:67;128:1146;126:8;121:72;119:16;110:67;100:93;96:275;90:562;85:16;81:499;72:305;68:24;64:1133;56:285;54:8;51:16;49:298;36:24;34:48;25:291;16:966;9:16;4:444;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:30148;25:138;24:140;23:138;22:134;21:180;20:134;19:138;18:1108;17:982;16:622;15:640;14:606;13:564;12:1136;11:556;10:1626;9:3694;8:2292;7:1770;5:1172;4:108;3:72;2:179346,24:200;3:29200;2:36400;1:11498,11:278;10:759;9:1829;8:1146;7:849;5:1217;3:5221;2:199;1:165200,
39.65/20.51	c (19,19) 94297 bool, 2459653 clause
39.65/20.51	c (19,19) Export Begin
39.80/20.67	c (20,19) Export to HOME/scop-10259-serial-file.bin
39.80/20.67	c (20,19) Export End
39.80/20.67	c (20,19) Export File Size: 0.24 MB
39.80/20.67	c (20,19) 0,0,11,11,12,12,19,STOP-AFTER(DIMACS)
39.80/20.67	c END-Prog: Mon Aug 13 23:42:37 CEST 2018
0.00/20.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10259-serial-file.bin
40.72/21.20	c (0,0) Read Serial File Begin
40.72/21.20	c (0,0) HOME/scop-10259-serial-file.bin
41.15/21.45	c (0,0) Read Serial File End
41.15/21.46	
41.15/21.46	scop order+glucose-syrup (2018-07-31)
41.15/21.46	(Solving Process)
41.15/21.46	
41.15/21.48	c BEGIN-Prog: Mon Aug 13 23:42:38 CEST 2018
41.15/21.48	c PID: 10282
41.15/21.48	c IP: 172.20.3.139
41.15/21.48	c HOST: node139.alineos.net
41.15/21.49	c (0,0) SatSolver.solve Begin
41.15/21.49	c (0,0) 0 bool, 0 clause
41.15/21.49	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307089-1534196537.xml-scop-10262.cnf
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c WARNING: for repeatability, setting FPU to use double precision
96.56/32.93	c (11,0) c 8 solvers engines and 1 companion as a blackboard created.
96.56/32.93	c (11,0) c ========================================[ Problem Statistics ]===========================================
96.56/32.93	c (11,0) c |                                                                                                       |
96.56/32.93	c (11,0) c |  Number of variables:         94297                                                                   |
96.56/32.93	c (11,0) c |  Number of clauses:         2459365                                                                   |
96.56/32.93	c (11,0) c |  Parse time:                   0.83 s                                                                 |
96.56/32.93	c (11,0) c |                                                                                                       |
96.56/32.93	c (11,0) c |  Eliminated clauses:           0.34 Mb                                                                |
96.56/32.93	c (11,0) c |  Simplification time:          3.58 s                                                                 |
96.56/32.93	c (11,0) c |                                                                                                       |
96.56/32.93	c (11,0) c |  Generating clones                                                                                    |
96.56/32.93	c (11,0) c |  all clones generated. Memory = 1045.21Mb.                                                             |
96.56/32.93	c (11,0) c ========================================================================================================|
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c |-------------------------------------------------------------------------------------------------------|
96.56/32.93	c (11,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
96.56/32.93	c (11,0) c |-------------------------------------------------------------------------------------------------------|
96.56/32.93	c (11,0) c |  0 |     64 |      80131 |       9270 |    25457 |     5482 |      699 |     3252 |        6 |  5.493 |
96.56/32.93	c (11,0) c |  1 |     55 |      88662 |       8566 |    25102 |     4772 |      617 |     3387 |        9 |  5.493 |
96.56/32.93	c (11,0) c |  2 |     62 |      93176 |       7949 |    26501 |     4167 |      568 |     3370 |       15 |  5.493 |
96.56/32.93	c (11,0) c |  3 |     43 |      90520 |       9020 |    23074 |     5229 |      973 |     2901 |       11 |  5.493 |
96.56/32.93	c (11,0) c |  4 |     47 |      83201 |       4722 |    23586 |     3728 |      199 |     3821 |       12 |  5.493 |
96.56/32.93	c (11,0) c |  5 |     42 |      93019 |       5084 |    27584 |     4084 |      234 |     3698 |        9 |  5.493 |
96.56/32.93	c (11,0) c |  6 |     50 |      89380 |       7908 |    25289 |     4113 |      563 |     3434 |        3 |  5.493 |
96.56/32.93	c (11,0) c |  7 |     46 |      91563 |       4718 |    27125 |     3728 |      180 |     3663 |       20 |  5.493 |
96.56/32.93	c (11,0) c 
96.56/32.93	c (11,0) c synthesis       57241 conflicts    85833027 propagations     1547 conflicts/sec  2320222 propagations/sec
96.56/32.93	c (11,0) c Total Memory so far : 1669.00Mb
96.56/32.93	c (11,0) c last restart ## conflicts  :  80 2208 
96.56/32.93	c (11,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer).
96.56/32.93	c (11,0) c Total Memory so far : 1672.32Mb
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c real time : 11.4206 s
96.56/32.93	c (11,0) c cpu time  : 53.6144 s
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
96.56/32.93	c (11,0) c
96.56/32.93	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.93	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.56/32.93	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.94	c (11,0) c | Conflicts     |           82732 |      11537 |      14635 |      10845 |      10726 |       7094 |       8099 |      10738 |       9058 |
96.56/32.94	c (11,0) c | Decisions     |         1109102 |     125793 |     130574 |     145635 |     146333 |     136002 |     146397 |     142002 |     136366 |
96.56/32.94	c (11,0) c | Propagations  |       134400972 |   14616561 |   16977782 |   17404976 |   17584725 |   16303537 |   16833274 |   17537278 |   17142839 |
96.56/32.94	c (11,0) c | Avg_Trail     |                 |      22844 |      21470 |      25532 |      24987 |      37795 |      34159 |      23950 |      36300 |
96.56/32.94	c (11,0) c | Avg_DL        |                 |        226 |        243 |        262 |        249 |        410 |        394 |        233 |        396 |
96.56/32.94	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.56/32.94	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.56/32.94	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.94	c (11,0) c | Exported      |            7393 |        834 |       1220 |        827 |       1311 |        620 |        788 |        804 |        989 |
96.56/32.94	c (11,0) c | Imported      |           51392 |       6536 |       6138 |       6471 |       6080 |       6701 |       6556 |       6584 |       6326 |
96.56/32.94	c (11,0) c | Good          |           17370 |       2189 |       2183 |       2118 |       2182 |       2161 |       2135 |       2174 |       2228 |
96.56/32.94	c (11,0) c | Purge         |           34022 |       4347 |       3955 |       4353 |       3898 |       4540 |       4421 |       4410 |       4098 |
96.56/32.94	c (11,0) c | Promoted      |             436 |         53 |         52 |         62 |         42 |         47 |         56 |         60 |         64 |
96.56/32.94	c (11,0) c | Remove_Imp    |             734 |          0 |          0 |          0 |          0 |        734 |          0 |          0 |          0 |
96.56/32.94	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.56/32.94	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.94	c (11,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.56/32.94	c (11,0) c | Binaries      |                 |        301 |        300 |        354 |        310 |        311 |        349 |        318 |        251 |
96.56/32.94	c (11,0) c | Glues         |                 |        468 |        472 |        477 |        320 |        325 |        376 |        424 |        271 |
96.56/32.94	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.94	c (11,0) c | Orig_Seen     |             1 % |      34792 |      30941 |      36003 |      31295 |      29870 |      36905 |      35021 |      35866 |
96.56/32.94	c (11,0) c | Diff Orig seen|                 | -     1211 | -     5062 |      X     | -     4708 | -     6133 |        902 | -      982 | -      137 |
96.56/32.94	c (11,0) c | Hamming       |             8 % |       8542 |       7797 |      X     |       7412 |       7327 |       7578 |       7264 |       8861 |
96.56/32.94	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.56/32.94	c (11,0) 
96.56/32.94	c (11,0) s SATISFIABLE
41.70/33.03	c (11,0) SatSolver.solve End
41.70/33.03	c (11,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
41.70/33.03	c (11,0) Show results Begin
97.24/33.12	s SATISFIABLE
97.24/33.16	v <instantiation>
97.24/33.16	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>
97.24/33.16	v     <values>12 2 11 6 11 25 0 18 2 5 8 18 23 2 18 14 2 1 6 5 2 21 2 3 0 8 11 25 1 2 19 9 11 8 5 15 25 3 0 2 8 2 19 25 7 18 19 9 2 16 2 18 0 3 5 6 25 18 19 25 21 2 4 2 9 1 2 21 2 5 8 5 15 11 2 19 2 22 6 3 19 6 18 5 24 3 2 1 6 8 11 25 6 2 18 15 2 25 16 2 20 19 2 20 19 8 2 7 18 5 6 16 3 15 19 2 13 18 2 9 19 3 2 0 17 19 9 3 19 15 5 2 12 2 3 1 6 2 19 6 13 2 18 9 5 18 5 3 19 12 2 11 6 5 3 0 8 18 5 2 6 3 1 9 5 8 7 3 19 2 6 11 8 20 19 2 1 8 7 25 19 2 1 9 19 3 10 2 19 15 2 11 12 2 19 2 9 17 18 5 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 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 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 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 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 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 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0</values>
97.24/33.16	v </instantiation>
97.24/33.16	c (12,0) Show results End
97.24/33.16	c (12,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
97.24/33.16	c (12,0) 11,12,STOP-AFTER(ALL)
97.24/33.16	c END-Prog: Mon Aug 13 23:42:50 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 (8682 MiB free)
  memory of node 1: 16384 MiB (9916 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307089-1534196537/watcher-4307089-1534196537 -o /tmp/evaluation-result-4307089-1534196537/solver-4307089-1534196537 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1534191431-9635 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307089-1534196537.xml 

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

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

solver pid=10259, runsolver pid=10256

[startup+0.100202 s]*
/proc/loadavg: 7.25 7.93 7.85 3/200 10281
/proc/meminfo: memFree=18950328/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237216832 115843072 349 33554432000 4194304 5098028 140733823620560 140733823617816 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 349 296 221 0 87 0
[pid=10262] ppid=10259 vsize=27313900 memory=107612 CPUtime=0.11 cores=0-7
/proc/10262/stat : 10262 (java) S 10259 10259 9608 0 -1 1077944320 6375 0 0 0 8 3 0 0 20 0 20 0 237216833 27969433600 26903 33554432000 4194304 4196468 140732512681824 140732512664368 140037466533623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
/proc/10262/statm: 6828475 26903 2738 1 0 6790935 0
[pid=10262/tid=10263] ppid=10259 vsize=27313900 memory=7824048260765359005 CPUtime=0.09 cores=0-7
/proc/10262/task/10263/stat : 10263 (java) R 10259 10259 9608 0 -1 4202560 4532 0 0 0 7 2 0 0 20 0 20 0 237216833 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037438359952 140037447178290 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10264] ppid=10259 vsize=27313900 memory=732370185162189797 CPUtime=0 cores=0-7
/proc/10262/task/10264/stat : 10264 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037470775696 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10265] ppid=10259 vsize=27313900 memory=140046824736384 CPUtime=0 cores=0-7
/proc/10262/task/10265/stat : 10265 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037284931856 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10266] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10266/stat : 10266 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037283879568 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10267] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10267/stat : 10267 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037282826768 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10268] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10268/stat : 10268 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037281774480 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10269] ppid=10259 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10262/task/10269/stat : 10269 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037280721680 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10270] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10270/stat : 10270 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037279669392 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10271] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10271/stat : 10271 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 26968 33554432000 4194304 4196468 140732512681824 140037278616592 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10272] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10272/stat : 10272 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036456523888 140037466544770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10273] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10273/stat : 10273 (java) S 10259 10259 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 26968 33554432000 4194304 4196468 140732512681824 140035328303904 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10274] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10274/stat : 10274 (java) S 10259 10259 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237216838 27969433600 26968 33554432000 4194304 4196468 140732512681824 140035194082416 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10275] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10275/stat : 10275 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140034819577936 140037466552219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10276] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10276/stat : 10276 (java) S 10259 10259 9608 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036455471728 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10277] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10277/stat : 10277 (java) R 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036454418928 140037466544770 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10278] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10278/stat : 10278 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036453366640 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10279] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10279/stat : 10279 (java) R 10259 10259 9608 0 -1 4202560 230 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036452313840 140037466545558 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10280] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10280/stat : 10280 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140034321672544 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10281] ppid=10259 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10262/task/10281/stat : 10281 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 26968 33554432000 4194304 4196468 140732512681824 140036451260720 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109008 KiB

[startup+0.210238 s]*
/proc/loadavg: 7.25 7.93 7.85 2/200 10281
/proc/meminfo: memFree=18933832/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237216832 115843072 349 33554432000 4194304 5098028 140733823620560 140733823617816 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 349 296 221 0 87 0
[pid=10262] ppid=10259 vsize=27313900 memory=122036 CPUtime=0.25 cores=0-7
/proc/10262/stat : 10262 (java) S 10259 10259 9608 0 -1 1077944320 10236 0 0 0 21 4 0 0 20 0 20 0 237216833 27969433600 30509 33554432000 4194304 4196468 140732512681824 140732512664368 140037466533623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
/proc/10262/statm: 6828475 30509 2851 1 0 6790935 0
[pid=10262/tid=10263] ppid=10259 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/10262/task/10263/stat : 10263 (java) R 10259 10259 9608 0 -1 4202560 8124 0 0 0 16 3 0 0 20 0 20 0 237216833 27969433600 30509 33554432000 4194304 4196468 140732512681824 140037438324600 140037466555549 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10264] ppid=10259 vsize=27313900 memory=280093494445816 CPUtime=0 cores=0-7
/proc/10262/task/10264/stat : 10264 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037470775696 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10265] ppid=10259 vsize=27313900 memory=140046824736384 CPUtime=0 cores=0-7
/proc/10262/task/10265/stat : 10265 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037284931856 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10266] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10266/stat : 10266 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037283879568 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10267] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10267/stat : 10267 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037282826768 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10268] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10268/stat : 10268 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037281774480 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10269] ppid=10259 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10262/task/10269/stat : 10269 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037280721680 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10270] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10270/stat : 10270 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037279669392 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10271] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10271/stat : 10271 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 30574 33554432000 4194304 4196468 140732512681824 140037278616592 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10272] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10272/stat : 10272 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036456523888 140037466544770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10273] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10273/stat : 10273 (java) S 10259 10259 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 30574 33554432000 4194304 4196468 140732512681824 140035328303904 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10274] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10274/stat : 10274 (java) S 10259 10259 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237216838 27969433600 30574 33554432000 4194304 4196468 140732512681824 140035194082416 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10275] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10275/stat : 10275 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140034819577936 140037466552219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10276] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10276/stat : 10276 (java) S 10259 10259 9608 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036455471728 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10277] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10277/stat : 10277 (java) S 10259 10259 9608 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036454418928 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10278] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10278/stat : 10278 (java) S 10259 10259 9608 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036453366640 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10279] ppid=10259 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/10262/task/10279/stat : 10279 (java) S 10259 10259 9608 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036452313840 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10280] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10280/stat : 10280 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140034321672544 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10281] ppid=10259 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10262/task/10281/stat : 10281 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 30574 33554432000 4194304 4196468 140732512681824 140036451260720 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 123432 KiB

[startup+0.310125 s]*
/proc/loadavg: 7.25 7.93 7.85 2/200 10281
/proc/meminfo: memFree=18930792/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237216832 115843072 349 33554432000 4194304 5098028 140733823620560 140733823617816 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 349 296 221 0 87 0
[pid=10262] ppid=10259 vsize=27313900 memory=126088 CPUtime=0.41 cores=0-7
/proc/10262/stat : 10262 (java) S 10259 10259 9608 0 -1 1077944320 10795 0 0 0 37 4 0 0 20 0 20 0 237216833 27969433600 31522 33554432000 4194304 4196468 140732512681824 140732512664368 140037466533623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
/proc/10262/statm: 6828475 31522 2983 1 0 6790935 0
[pid=10262/tid=10263] ppid=10259 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10262/task/10263/stat : 10263 (java) R 10259 10259 9608 0 -1 4202560 8504 0 0 0 26 3 0 0 20 0 20 0 237216833 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037438329072 140037448097198 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10264] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10264/stat : 10264 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037470775696 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10265] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10265/stat : 10265 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037284931856 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10266] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10266/stat : 10266 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037283879568 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10267] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10267/stat : 10267 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037282826768 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10268] ppid=10259 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/10262/task/10268/stat : 10268 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037281774480 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10269] ppid=10259 vsize=27313900 memory=140046669804463 CPUtime=0 cores=0-7
/proc/10262/task/10269/stat : 10269 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037280721680 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10270] ppid=10259 vsize=27313900 memory=140046669806768 CPUtime=0 cores=0-7
/proc/10262/task/10270/stat : 10270 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037279669392 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10271] ppid=10259 vsize=27313900 memory=140046669809072 CPUtime=0 cores=0-7
/proc/10262/task/10271/stat : 10271 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27969433600 31522 33554432000 4194304 4196468 140732512681824 140037278616592 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10272] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10272/stat : 10272 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036456523888 140037466544770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10273] ppid=10259 vsize=27313900 memory=280093339625104 CPUtime=0 cores=0-7
/proc/10262/task/10273/stat : 10273 (java) S 10259 10259 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237216837 27969433600 31522 33554432000 4194304 4196468 140732512681824 140035328303904 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10274] ppid=10259 vsize=27313900 memory=280093339632016 CPUtime=0 cores=0-7
/proc/10262/task/10274/stat : 10274 (java) S 10259 10259 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237216838 27969433600 31522 33554432000 4194304 4196468 140732512681824 140035194082416 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10275] ppid=10259 vsize=27313900 memory=280093339573296 CPUtime=0 cores=0-7
/proc/10262/task/10275/stat : 10275 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140034819577936 140037466552219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10276] ppid=10259 vsize=27313900 memory=280093339645840 CPUtime=0.01 cores=0-7
/proc/10262/task/10276/stat : 10276 (java) S 10259 10259 9608 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036455471728 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10277] ppid=10259 vsize=27313900 memory=280093339652752 CPUtime=0.01 cores=0-7
/proc/10262/task/10277/stat : 10277 (java) S 10259 10259 9608 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036454418928 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10278] ppid=10259 vsize=27313900 memory=280093339650448 CPUtime=0.01 cores=0-7
/proc/10262/task/10278/stat : 10278 (java) S 10259 10259 9608 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036453366640 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10279] ppid=10259 vsize=27313900 memory=280093339666608 CPUtime=0.07 cores=0-7
/proc/10262/task/10279/stat : 10279 (java) S 10259 10259 9608 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036452313840 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10280] ppid=10259 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10262/task/10280/stat : 10280 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140034321672544 140037466543829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10281] ppid=10259 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10262/task/10281/stat : 10281 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216840 27969433600 31522 33554432000 4194304 4196468 140732512681824 140036451260720 140037466544770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 127484 KiB

[startup+0.70096 s]
/proc/loadavg: 7.25 7.93 7.85 2/200 10281
/proc/meminfo: memFree=18906680/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237216832 115843072 349 33554432000 4194304 5098028 140733823620560 140733823617816 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 349 296 221 0 87 0
[pid=10262] ppid=10259 vsize=27320172 memory=164824 CPUtime=1.03 cores=0-7
/proc/10262/stat : 10262 (java) S 10259 10259 9608 0 -1 1077944320 17758 0 0 0 97 6 0 0 20 0 20 0 237216833 27975856128 41206 33554432000 4194304 4196468 140732512681824 140732512664368 140037466533623 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
/proc/10262/statm: 6830043 41206 3127 1 0 6791447 0
[pid=10262/tid=10263] ppid=10259 vsize=27320172 memory=280093339961472 CPUtime=0.66 cores=0-7
/proc/10262/task/10263/stat : 10263 (java) R 10259 10259 9608 0 -1 4202560 14901 0 0 0 62 4 0 0 20 0 20 0 237216833 27975856128 41206 33554432000 4194304 4196468 140732512681824 140037438369440 140037452737566 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10264] ppid=10259 vsize=27320172 memory=1704 CPUtime=0 cores=0-7
/proc/10262/task/10264/stat : 10264 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27975856128 41206 33554432000 4194304 4196468 140732512681824 140037470775696 140037466543829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10265] ppid=10259 vsize=27320172 memory=796 CPUtime=0 cores=0-7
/proc/10262/task/10265/stat : 10265 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237216835 27975856128 41206 33554432000 4194304 4196468 140732512681824 140037284931856 140037466543829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0
[pid=10262/tid=10266] ppid=10259 vsize=27320172 memory=5408 CPUtime=0 cores=0-7
/proc/10262/task/10266/stat : 10266 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237216835 27975856128 41206 33554432000 4194304 4196468 140732512681824 140037283879568 140037466543829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140732512682984 140732512683309 140732512683309 140732512686031 0

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

[pid=10282/tid=10285] ppid=10259 vsize=8413904 memory=1228 CPUtime=0 cores=0-7
/proc/10282/task/10285/stat : 10285 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508382907152 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10286] ppid=10259 vsize=8413904 memory=1952 CPUtime=0 cores=0-7
/proc/10282/task/10286/stat : 10286 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508381854864 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10287] ppid=10259 vsize=8413904 memory=1160 CPUtime=0 cores=0-7
/proc/10282/task/10287/stat : 10287 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508380802064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10288] ppid=10259 vsize=8413904 memory=10832 CPUtime=0 cores=0-7
/proc/10282/task/10288/stat : 10288 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508379748752 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10289] ppid=10259 vsize=8413904 memory=4616 CPUtime=0 cores=0-7
/proc/10282/task/10289/stat : 10289 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508054325520 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10290] ppid=10259 vsize=8413904 memory=1428 CPUtime=0 cores=0-7
/proc/10282/task/10290/stat : 10290 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508053273232 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10291] ppid=10259 vsize=8413904 memory=15880 CPUtime=0 cores=0-7
/proc/10282/task/10291/stat : 10291 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 31446 33554432000 4194304 4196468 140736318663136 140508052220432 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10292] ppid=10259 vsize=8413904 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/10282/task/10292/stat : 10292 (java) S 10259 10259 9608 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 237218907 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507532229232 140508572912258 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10293] ppid=10259 vsize=8413904 memory=297237821058711863 CPUtime=0 cores=0-7
/proc/10282/task/10293/stat : 10293 (java) S 10259 10259 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237218908 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507237836064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10294] ppid=10259 vsize=8413904 memory=13567093857585738 CPUtime=0 cores=0-7
/proc/10282/task/10294/stat : 10294 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218908 8615837696 31446 33554432000 4194304 4196468 140736318663136 140506969400944 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10295] ppid=10259 vsize=8413904 memory=4639924115538006630 CPUtime=0 cores=0-7
/proc/10282/task/10295/stat : 10295 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218910 8615837696 31446 33554432000 4194304 4196468 140736318663136 140506594892368 140508572919707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10296] ppid=10259 vsize=8413904 memory=7523107478184158290 CPUtime=0.11 cores=0-7
/proc/10282/task/10296/stat : 10296 (java) S 10259 10259 9608 0 -1 1077944384 612 0 0 0 11 0 0 0 20 0 24 0 237218910 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507531176048 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10297] ppid=10259 vsize=8413904 memory=7523107478184158290 CPUtime=0.11 cores=0-7
/proc/10282/task/10297/stat : 10297 (java) S 10259 10259 9608 0 -1 1077944384 709 0 0 0 11 0 0 0 20 0 24 0 237218910 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507530123248 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10298] ppid=10259 vsize=8413904 memory=6943526294502006880 CPUtime=0.09 cores=0-7
/proc/10282/task/10298/stat : 10298 (java) S 10259 10259 9608 0 -1 1077944384 272 0 0 0 9 0 0 0 20 0 24 0 237218910 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507529070960 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10299] ppid=10259 vsize=8413904 memory=4639924115538006630 CPUtime=0.22 cores=0-7
/proc/10282/task/10299/stat : 10299 (java) S 10259 10259 9608 0 -1 1077944384 605 0 0 0 22 0 0 0 20 0 24 0 237218910 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507528018160 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10300] ppid=10259 vsize=8413904 memory=4639924115538006630 CPUtime=0 cores=0-7
/proc/10282/task/10300/stat : 10300 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218911 8615837696 31446 33554432000 4194304 4196468 140736318663136 140506096986976 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10301] ppid=10259 vsize=8413904 memory=4639924115538006630 CPUtime=0 cores=0-7
/proc/10282/task/10301/stat : 10301 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218911 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507526966064 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10303] ppid=10259 vsize=8413904 memory=7594591148445427282 CPUtime=0 cores=0-7
/proc/10282/task/10303/stat : 10303 (java) S 10259 10259 9608 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237218984 8615837696 31446 33554432000 4194304 4196468 140736318663136 140507519158080 140508572925721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10305] ppid=10259 vsize=8413904 memory=7374759097259810897 CPUtime=0 cores=0-7
/proc/10282/task/10305/stat : 10305 (java) S 10259 10259 9608 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 237218984 8615837696 31446 33554432000 4194304 4196468 140736318663136 140505425886608 140508572923037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10306] ppid=10259 vsize=8413904 memory=7306316804797196914 CPUtime=0 cores=0-7
/proc/10282/task/10306/stat : 10306 (java) S 10259 10259 9608 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237218984 8615837696 31446 33554432000 4194304 4196468 140736318663136 140505694321936 140508572923037 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10307] ppid=10259 vsize=8413904 memory=4639924020996755554 CPUtime=0 cores=0-7
/proc/10282/task/10307/stat : 10307 (java) S 10259 10259 9608 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237218986 8615837696 31446 33554432000 4194304 4196468 140736318663136 140505157459232 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
Current children cumulated CPU time: 95.75 s
Current children cumulated vsize: 10239216 KiB
Current children cumulated memory: 1271932 KiB

[startup+33.0014 s]*
/proc/loadavg: 5.14 7.32 7.65 4/205 10315
/proc/meminfo: memFree=18153360/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1472 CPUtime=40.11 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 590 47575 0 0 0 0 3817 194 20 0 1 0 237216832 115843072 368 33554432000 4194304 5098028 140733823620560 140733823617304 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 368 311 221 0 87 0
[pid=10282] ppid=10259 vsize=8413904 memory=143492 CPUtime=1.59 cores=0-7
/proc/10282/stat : 10282 (java) S 10259 10259 9608 0 -1 1077944320 19030 0 0 0 149 10 0 0 20 0 24 0 237218904 8615837696 35873 33554432000 4194304 4196468 140736318663136 140736318645680 140508572901111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
/proc/10282/statm: 2103476 35873 3174 1 0 2064875 0
[pid=10282/tid=10283] ppid=10259 vsize=8413904 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/10282/task/10283/stat : 10283 (java) S 10259 10259 9608 0 -1 1077944384 14600 0 0 0 75 6 0 0 20 0 24 0 237218905 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508544741264 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10284] ppid=10259 vsize=8413904 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/10282/task/10284/stat : 10284 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508577143696 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10285] ppid=10259 vsize=8413904 memory=1417 CPUtime=0 cores=0-7
/proc/10282/task/10285/stat : 10285 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508382907152 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10286] ppid=10259 vsize=8413904 memory=-7385037615359298921 CPUtime=0 cores=0-7
/proc/10282/task/10286/stat : 10286 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508381854864 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10287] ppid=10259 vsize=8413904 memory=7521685796348062562 CPUtime=0 cores=0-7
/proc/10282/task/10287/stat : 10287 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508380802064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10288] ppid=10259 vsize=8413904 memory=7594590027608384877 CPUtime=0 cores=0-7
/proc/10282/task/10288/stat : 10288 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508379748752 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10289] ppid=10259 vsize=8413904 memory=1580 CPUtime=0 cores=0-7
/proc/10282/task/10289/stat : 10289 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508054325520 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10290] ppid=10259 vsize=8413904 memory=2240 CPUtime=0 cores=0-7
/proc/10282/task/10290/stat : 10290 (java) S 10259 10259 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508053273232 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10291] ppid=10259 vsize=8413904 memory=4124 CPUtime=0 cores=0-7
/proc/10282/task/10291/stat : 10291 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218906 8615837696 35873 33554432000 4194304 4196468 140736318663136 140508052220432 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10292] ppid=10259 vsize=8413904 memory=2100 CPUtime=0 cores=0-7
/proc/10282/task/10292/stat : 10292 (java) S 10259 10259 9608 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 237218907 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507532229232 140508572912258 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10293] ppid=10259 vsize=8413904 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/10282/task/10293/stat : 10293 (java) S 10259 10259 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237218908 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507237836064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10294] ppid=10259 vsize=8413904 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/10282/task/10294/stat : 10294 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218908 8615837696 35873 33554432000 4194304 4196468 140736318663136 140506969400944 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10295] ppid=10259 vsize=8413904 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10282/task/10295/stat : 10295 (java) S 10259 10259 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237218910 8615837696 35873 33554432000 4194304 4196468 140736318663136 140506594892368 140508572919707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10296] ppid=10259 vsize=8413904 memory=0 CPUtime=0.14 cores=0-7
/proc/10282/task/10296/stat : 10296 (java) R 10259 10259 9608 0 -1 1077944384 624 0 0 0 14 0 0 0 20 0 24 0 237218910 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507531176048 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10297] ppid=10259 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/10282/task/10297/stat : 10297 (java) S 10259 10259 9608 0 -1 1077944384 961 0 0 0 13 0 0 0 20 0 24 0 237218910 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507530123248 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10298] ppid=10259 vsize=8413904 memory=0 CPUtime=0.12 cores=0-7
/proc/10282/task/10298/stat : 10298 (java) R 10259 10259 9608 0 -1 1077944384 275 0 0 0 12 0 0 0 20 0 24 0 237218910 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507529070960 140508572912258 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10299] ppid=10259 vsize=8413904 memory=0 CPUtime=0.25 cores=0-7
/proc/10282/task/10299/stat : 10299 (java) R 10259 10259 9608 0 -1 4202560 1122 0 0 0 25 0 0 0 20 0 24 0 237218910 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507528018160 140508572913046 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10300] ppid=10259 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10282/task/10300/stat : 10300 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218911 8615837696 35873 33554432000 4194304 4196468 140736318663136 140506096986976 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10301] ppid=10259 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10282/task/10301/stat : 10301 (java) S 10259 10259 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237218911 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507526966064 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10303] ppid=10259 vsize=8413904 memory=-7385037593950845031 CPUtime=0 cores=0-7
/proc/10282/task/10303/stat : 10303 (java) S 10259 10259 9608 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237218984 8615837696 35873 33554432000 4194304 4196468 140736318663136 140507519158080 140508572925721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10305] ppid=10259 vsize=8413904 memory=-8458152057954561420 CPUtime=0.07 cores=0-7
/proc/10282/task/10305/stat : 10305 (java) R 10259 10259 9608 0 -1 4202560 51 0 0 0 7 0 0 0 20 0 24 0 237218984 8615837696 35873 33554432000 4194304 4196468 140736318663136 140505425886544 140508060076355 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10306] ppid=10259 vsize=8413904 memory=140046670645923 CPUtime=0 cores=0-7
/proc/10282/task/10306/stat : 10306 (java) S 10259 10259 9608 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237218984 8615837696 35873 33554432000 4194304 4196468 140736318663136 140505694321936 140508572923037 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10307] ppid=10259 vsize=8413904 memory=280093340651232 CPUtime=0 cores=0-7
/proc/10282/task/10307/stat : 10307 (java) S 10259 10259 9608 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237218986 8615837696 35873 33554432000 4194304 4196468 140736318663136 140505157459232 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
Current children cumulated CPU time: 41.7 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 144964 KiB

[startup+33.1101 s]
/proc/loadavg: 5.14 7.32 7.65 4/205 10315
/proc/meminfo: memFree=18153360/32770624 swapFree=67108860/67108860
[pid=10259] ppid=10256 vsize=113128 memory=1472 CPUtime=40.11 cores=0-7
/proc/10259/stat : 10259 (scop.sh) S 10256 10259 9608 0 -1 4202496 590 47575 0 0 0 0 3817 194 20 0 1 0 237216832 115843072 368 33554432000 4194304 5098028 140733823620560 140733823617304 139976423121532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25694208 140733823628322 140733823628547 140733823628547 140733823631309 0
/proc/10259/statm: 28282 368 311 221 0 87 0
[pid=10282] ppid=10259 vsize=8282828 memory=149148 CPUtime=57.13 cores=0-7
/proc/10282/stat : 10282 (java) S 10259 10259 9608 0 -1 1077944320 19392 718432 0 0 169 10 5363 171 20 0 22 0 237218904 8481615872 37287 33554432000 4194304 4196468 140736318663136 140736318645680 140508572901111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
/proc/10282/statm: 2070707 37287 3179 1 0 2032106 0
[pid=10282/tid=10283] ppid=10259 vsize=8282828 memory=125784 CPUtime=56.23 cores=0-7
/proc/10282/task/10283/stat : 10283 (java) R 10259 10259 9608 0 -1 4202560 14789 718432 0 0 83 6 5363 171 20 0 22 0 237218905 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508544739696 140508572913046 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10284] ppid=10259 vsize=8282828 memory=1472 CPUtime=55.34 cores=0-7
/proc/10282/task/10284/stat : 10284 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508577143696 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10285] ppid=10259 vsize=8282828 memory=140046670650469 CPUtime=55.34 cores=0-7
/proc/10282/task/10285/stat : 10285 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508382907152 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10286] ppid=10259 vsize=8282828 memory=280093339860056 CPUtime=55.34 cores=0-7
/proc/10282/task/10286/stat : 10286 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508381854864 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10287] ppid=10259 vsize=8282828 memory=1472 CPUtime=55.34 cores=0-7
/proc/10282/task/10287/stat : 10287 (java) S 10259 10259 9608 0 -1 1077944384 3 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508380802064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10288] ppid=10259 vsize=8282828 memory=2416 CPUtime=55.34 cores=0-7
/proc/10282/task/10288/stat : 10288 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508379748752 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10289] ppid=10259 vsize=8282828 memory=56 CPUtime=55.34 cores=0-7
/proc/10282/task/10289/stat : 10289 (java) S 10259 10259 9608 0 -1 1077944384 2 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508054325520 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10290] ppid=10259 vsize=8282828 memory=6081389379021728102 CPUtime=55.34 cores=0-7
/proc/10282/task/10290/stat : 10290 (java) S 10259 10259 9608 0 -1 1077944384 2 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37287 33554432000 4194304 4196468 140736318663136 140508053273232 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10291] ppid=10259 vsize=8282828 memory=0 CPUtime=55.34 cores=0-7
/proc/10282/task/10291/stat : 10291 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218906 8481615872 37316 33554432000 4194304 4196468 140736318663136 140508052220432 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10292] ppid=10259 vsize=8282828 memory=0 CPUtime=55.34 cores=0-7
/proc/10282/task/10292/stat : 10292 (java) S 10259 10259 9608 0 -1 1077944384 5 718432 0 0 0 0 5363 171 20 0 22 0 237218907 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507532229232 140508572912258 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10293] ppid=10259 vsize=8282828 memory=0 CPUtime=55.34 cores=0-7
/proc/10282/task/10293/stat : 10293 (java) S 10259 10259 9608 0 -1 1077944384 13 718432 0 0 0 0 5363 171 20 0 22 0 237218908 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507237836064 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10294] ppid=10259 vsize=8282828 memory=5772 CPUtime=55.34 cores=0-7
/proc/10282/task/10294/stat : 10294 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218908 8481615872 37316 33554432000 4194304 4196468 140736318663136 140506969400944 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10295] ppid=10259 vsize=8282828 memory=4104 CPUtime=55.34 cores=0-7
/proc/10282/task/10295/stat : 10295 (java) S 10259 10259 9608 0 -1 1077944384 1 718432 0 0 0 0 5363 171 20 0 22 0 237218910 8481615872 37316 33554432000 4194304 4196468 140736318663136 140506594892368 140508572919707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10296] ppid=10259 vsize=8282828 memory=1408 CPUtime=55.5 cores=0-7
/proc/10282/task/10296/stat : 10296 (java) R 10259 10259 9608 0 -1 1077944384 630 718432 0 0 16 0 5363 171 20 0 22 0 237218910 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507531176048 140508572912258 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10297] ppid=10259 vsize=8282828 memory=56 CPUtime=55.5 cores=0-7
/proc/10282/task/10297/stat : 10297 (java) S 10259 10259 9608 0 -1 1077944384 991 718432 0 0 16 0 5363 171 20 0 22 0 237218910 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507530123248 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10298] ppid=10259 vsize=8282828 memory=33 CPUtime=55.47 cores=0-7
/proc/10282/task/10298/stat : 10298 (java) R 10259 10259 9608 0 -1 4202560 292 718432 0 0 13 0 5363 171 20 0 22 0 237218910 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507529062288 140508572922458 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10299] ppid=10259 vsize=8282828 memory=0 CPUtime=55.63 cores=0-7
/proc/10282/task/10299/stat : 10299 (java) R 10259 10259 9608 0 -1 4202560 1234 718432 0 0 29 0 5363 171 20 0 22 0 237218910 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507528018160 140508552615916 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10300] ppid=10259 vsize=8282828 memory=0 CPUtime=55.34 cores=0-7
/proc/10282/task/10300/stat : 10300 (java) S 10259 10259 9608 0 -1 1077944384 3 718432 0 0 0 0 5363 171 20 0 22 0 237218911 8481615872 37316 33554432000 4194304 4196468 140736318663136 140506096986976 140508572911317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10301] ppid=10259 vsize=8282828 memory=1472 CPUtime=55.34 cores=0-7
/proc/10282/task/10301/stat : 10301 (java) S 10259 10259 9608 0 -1 1077944384 3 718432 0 0 0 0 5363 171 20 0 22 0 237218911 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507526966064 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10303] ppid=10259 vsize=8282828 memory=1472 CPUtime=55.34 cores=0-7
/proc/10282/task/10303/stat : 10303 (java) S 10259 10259 9608 0 -1 1077944384 23 718432 0 0 0 0 5363 171 20 0 22 0 237218984 8481615872 37316 33554432000 4194304 4196468 140736318663136 140507519157264 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
[pid=10282/tid=10307] ppid=10259 vsize=8282828 memory=4124 CPUtime=55.34 cores=0-7
/proc/10282/task/10307/stat : 10307 (java) S 10259 10259 9608 0 -1 1077944384 12 718432 0 0 0 0 5363 171 20 0 22 0 237218986 8481615872 37316 33554432000 4194304 4196468 140736318663136 140505157461040 140508572912258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29577216 140736318665905 140736318666029 140736318666029 140736318668751 0
Current children cumulated CPU time: 97.24 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 150620 KiB

Child status: 0
Real time (s): 33.1839
CPU time (s): 97.4634
CPU user time (s): 93.6735
CPU system time (s): 3.78991
CPU usage (%): 293.707
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6220044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.6735
system time used= 3.78991
maximum resident set size= 6219256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 125568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61993
involuntary context switches= 515


# summary of solver processes directly reported to runsolver:
#   pid: 10259
#   total CPU time (s): 97.4634
#   total CPU user time (s): 93.6735
#   total CPU system time (s): 3.78991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.265605 second user time and 0.415816 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 23:42:17
IDJOB=4307089
IDBENCH=141459
IDSOLVER=2788
FILE ID=node139/4307089-1534196537
RUNJOBID= node139-1534191431-9635
PBS_JOBID= 21037994
Free space on /tmp= 28496 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-01_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-4307089-1534196537/watcher-4307089-1534196537 -o /tmp/evaluation-result-4307089-1534196537/solver-4307089-1534196537 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1534191431-9635 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307089-1534196537.xml

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

MD5SUM BENCH= 1fae7142163c3dd6bc5a43a0b85b79be
RANDOM SEED=1418836294

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19045528 kB
MemAvailable:   31902368 kB
Buffers:          246544 kB
Cached:         12675984 kB
SwapCached:            0 kB
Active:          6134196 kB
Inactive:        6842372 kB
Active(anon):       4704 kB
Inactive(anon):   102032 kB
Active(file):    6129492 kB
Inactive(file):  6740340 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8448 kB
Writeback:             0 kB
AnonPages:         77748 kB
Mapped:            63176 kB
Shmem:             49804 kB
Slab:             443304 kB
SReclaimable:     415468 kB
SUnreclaim:        27836 kB
KernelStack:        3536 kB
PageTables:         4972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28488 MiB
End job on node139 at 2018-08-13 23:42:50