Trace number 4307091

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 210.24 47.3146

General information on the benchmark

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

Solver Data 

0.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-9373-serial-file.bin HOME/instance-4307091-1534196276.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:37:56 CEST 2018
0.65/0.55	c PID: 9376
0.65/0.55	c IP: 172.20.3.149
0.65/0.55	c HOST: node149.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.97/1.39	c (0,0) Parsing End
3.32/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1440 ctr, max domain size 26
3.32/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.32/1.40	c (0,0) Constraint Name Generate Begin
3.32/1.43	c (0,0) Ctr:HOME/instance-4307091-1534196276.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.32/1.43	c (0,0) Constraint Name Generate End
3.32/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.32/1.43	c (0,0) CSP to CSPinCNF Begin
11.94/4.54	c (4,3) translated 144 (10%) constraints
12.36/5.00	c (4,4) translated 288 (20%) constraints
12.55/5.02	c (4,4) translated 432 (30%) constraints
12.55/5.04	c (4,4) translated 576 (40%) constraints
12.55/5.07	c (4,4) translated 720 (50%) constraints
12.55/5.09	c (4,4) translated 864 (60%) constraints
13.05/5.11	c (4,4) translated 1008 (70%) constraints
13.05/5.14	c (4,4) translated 1152 (80%) constraints
15.14/6.67	c (6,6) translated 1296 (90%) constraints
16.14/7.66	c (7,7) translated 1440 (100%) constraints
17.47/8.26	c (7,7) STATISTICS1:HOME/instance-4307091-1534196276.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57065,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:2;17179869184:1;16:392;4:396;2:199,26:20400;2:159196,25:200;3:29600;2:26000;1:1265,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:2;35:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
17.47/8.26	c (7,7) ==========================================
17.47/8.26	c (7,7) Order
17.47/8.26	c (7,7) ==========================================
20.17/9.03	c (8,8) translated 5707 (10%) constraints
20.74/9.26	c (8,8) translated 11413 (20%) constraints
21.03/9.36	c (8,8) translated 17120 (30%) constraints
21.17/9.46	c (8,8) translated 22826 (40%) constraints
21.27/9.55	c (9,8) translated 28533 (50%) constraints
21.37/9.64	c (9,9) translated 34239 (60%) constraints
21.47/9.74	c (9,9) translated 39946 (70%) constraints
21.57/9.83	c (9,9) translated 45652 (80%) constraints
21.67/9.92	c (9,9) translated 51359 (90%) constraints
29.69/12.18	c (11,11) translated 57065 (100%) constraints
29.69/12.19	c (11,11) CSP to CSPinCNF End
29.80/12.20	c (11,11) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77809 ctr, max domain size 68
29.80/12.20	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.80/12.20	c (11,11) CSPinCNF Propagation Begin
31.81/12.84	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
31.81/12.84	c (12,12) CSPinCNF Propagation End
31.81/12.85	c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
31.81/12.85	c (12,12) Heap : 285 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
31.81/12.85	c (12,12) Simplify CSPinCNF Begin
32.05/13.00	c (12,12) Simplify CSPinCNF End
32.18/13.01	c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
32.18/13.01	c (12,12) Heap : 285 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.18/13.01	c (12,12) Calculate Precise Domain Begin
32.18/13.06	c (12,12) 0 values are removed by re-calculation
32.18/13.06	c (12,12) Calculate Precise Domain End
32.18/13.07	c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
32.18/13.07	c (12,12) Heap : 394 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.18/13.07	c (12,12) CSPinCNF to SatSolver Begin
35.64/15.27	c (14,14) 7741 (10 %) CSP clauses are encoded (94877 SAT variables, 584439 SAT clauses)
35.94/15.33	c (14,14) 15482 (20 %) CSP clauses are encoded (94877 SAT variables, 592180 SAT clauses)
36.14/15.40	c (14,14) 23223 (30 %) CSP clauses are encoded (94877 SAT variables, 599921 SAT clauses)
36.14/15.46	c (14,14) 30964 (40 %) CSP clauses are encoded (94877 SAT variables, 607662 SAT clauses)
36.35/15.50	c (14,14) 38705 (50 %) CSP clauses are encoded (94877 SAT variables, 615403 SAT clauses)
36.35/15.54	c (15,14) 46446 (60 %) CSP clauses are encoded (94877 SAT variables, 623144 SAT clauses)
36.35/15.58	c (15,14) 54187 (70 %) CSP clauses are encoded (94877 SAT variables, 630885 SAT clauses)
36.45/15.61	c (15,14) 61928 (80 %) CSP clauses are encoded (94877 SAT variables, 638626 SAT clauses)
36.75/15.96	c (15,15) 69669 (90 %) CSP clauses are encoded (94877 SAT variables, 788953 SAT clauses)
41.41/20.44	c (19,19) 77409 (100 %) CSP clauses are encoded (94877 SAT variables, 2495108 SAT clauses)
41.41/20.44	c (19,19) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
41.41/20.44	c (19,19) CSPinCNF to SatSolver End
41.41/20.44	c (19,19) Heap : 1204 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
42.28/20.77	c (20,19) STATISTICS2:HOME/instance-4307091-1534196276.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25814,77409,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:1;1560:3;1521:5;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:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:23;342:18;324:32;306:90;289:88;272:70;270:4;256:1924;255:8;252:4;240:71;238:8;225:80;216:4;210:72;204:8;198:4;196:79;187:8;182:76;180:16;170:32;169:69;156:71;144:81;136:8;132:67;128:1175;126:4;121:80;119:8;110:67;108:4;102:8;100:101;96:276;90:564;85:16;81:496;72:311;68:24;64:1164;56:292;54:8;51:16;49:294;36:28;34:40;25:292;16:968;9:16;4:436;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:24;39:42;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:144;20:134;19:174;18:1112;17:1028;16:598;15:620;14:620;13:572;12:1140;11:592;10:1666;9:3694;8:2386;7:1764;6:36;5:1176;4:108;3:72;2:179776,24:200;3:29200;2:36400;1:11609,11:278;10:761;9:1847;8:1175;7:864;5:1220;3:5265;2:199;1:165200,
42.28/20.77	c (20,19) 94877 bool, 2495863 clause
42.28/20.77	c (20,19) Export Begin
42.71/20.93	c (20,19) Export to HOME/scop-9373-serial-file.bin
42.71/20.93	c (20,19) Export End
42.71/20.93	c (20,19) Export File Size: 0.24 MB
42.71/20.93	c (20,19) 0,0,11,12,12,12,19,STOP-AFTER(DIMACS)
42.71/20.93	c END-Prog: Mon Aug 13 23:38:17 CEST 2018
42.71/20.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9373-serial-file.bin
43.42/21.47	c (0,0) Read Serial File Begin
43.42/21.47	c (0,0) HOME/scop-9373-serial-file.bin
44.05/21.72	c (0,0) Read Serial File End
44.05/21.73	
44.05/21.73	scop order+glucose-syrup (2018-07-31)
44.05/21.73	(Solving Process)
44.05/21.73	
44.05/21.75	c BEGIN-Prog: Mon Aug 13 23:38:17 CEST 2018
44.05/21.75	c PID: 9396
44.05/21.75	c IP: 172.20.3.149
44.05/21.75	c HOST: node149.alineos.net
44.05/21.76	c (0,0) SatSolver.solve Begin
44.05/21.76	c (0,0) 0 bool, 0 clause
44.05/21.76	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307091-1534196276.xml-scop-9376.cnf
127.03/36.76	c (15,0) c
127.03/36.76	c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
127.03/36.76	c (15,0) c
127.03/36.76	c (15,0) c WARNING: for repeatability, setting FPU to use double precision
127.03/36.76	c (15,0) c 8 solvers engines and 1 companion as a blackboard created.
127.03/36.76	c (15,0) c ========================================[ Problem Statistics ]===========================================
127.03/36.76	c (15,0) c |                                                                                                       |
127.03/36.76	c (15,0) c |  Number of variables:         94877                                                                   |
127.03/36.76	c (15,0) c |  Number of clauses:         2495579                                                                   |
127.03/36.76	c (15,0) c |  Parse time:                   0.84 s                                                                 |
127.03/36.76	c (15,0) c |                                                                                                       |
127.03/36.76	c (15,0) c |  Eliminated clauses:           0.33 Mb                                                                |
127.03/36.76	c (15,0) c |  Simplification time:          3.65 s                                                                 |
127.03/36.76	c (15,0) c |                                                                                                       |
127.03/36.76	c (15,0) c |  Generating clones                                                                                    |
127.03/36.76	c (15,0) c |  all clones generated. Memory = 1052.01Mb.                                                             |
127.03/36.76	c (15,0) c ========================================================================================================|
127.03/36.76	c (15,0) c
127.03/36.76	c (15,0) c |-------------------------------------------------------------------------------------------------------|
127.03/36.76	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
127.03/36.76	c (15,0) c |-------------------------------------------------------------------------------------------------------|
127.03/36.76	c (15,0) c |  0 |     75 |      69775 |      10065 |    24040 |     6270 |      691 |    10044 |       49 |  5.290 |
127.03/36.76	c (15,0) c |  1 |     75 |      92383 |       9316 |    29121 |     5520 |      929 |     9429 |        5 |  5.290 |
127.03/36.76	c (15,0) c |  2 |     63 |      73372 |      11950 |    26291 |     8157 |      703 |     7476 |       21 |  5.290 |
127.03/36.76	c (15,0) c |  3 |     63 |     100586 |       7790 |    26847 |     3994 |      485 |     9926 |       10 |  5.290 |
127.03/36.76	c (15,0) c |  4 |     50 |     100834 |      15116 |    29379 |     3646 |     2275 |     8510 |       36 |  5.290 |
127.03/36.76	c (15,0) c |  5 |     62 |     108490 |       6102 |    26787 |     5104 |      330 |    10236 |        9 |  5.290 |
127.03/36.76	c (15,0) c |  6 |     69 |      82581 |       9945 |    29841 |     6146 |      786 |     9691 |       13 |  5.290 |
127.03/36.76	c (15,0) c |  7 |     67 |      86998 |      26805 |    28730 |    10623 |     4595 |     5011 |       15 |  5.290 |
127.03/36.76	c (15,0) c 
127.03/36.76	c (15,0) c synthesis       97093 conflicts   104272557 propagations     2319 conflicts/sec  2490637 propagations/sec
127.03/36.76	c (15,0) c Total Memory so far : 1675.80Mb
127.03/36.76	c (15,0) c
127.03/36.76	c (15,0) c |-------------------------------------------------------------------------------------------------------|
127.03/36.76	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
127.03/36.76	c (15,0) c |-------------------------------------------------------------------------------------------------------|
127.03/36.76	c (15,0) c |  0 |    133 |     154312 |      29131 |    38896 |    12939 |     3497 |    23571 |      184 |  5.290 |
127.03/36.76	c (15,0) c |  1 |    112 |     158865 |      33180 |    43111 |    16990 |     5079 |    18684 |      102 |  5.290 |
127.03/36.76	c (15,0) c |  2 |    143 |     159905 |      24181 |    47678 |     7991 |     1934 |    24874 |      115 |  5.290 |
127.03/36.76	c (15,0) c |  3 |    122 |     194331 |      20559 |    43865 |    11769 |     1910 |    25064 |       77 |  5.290 |
127.03/36.76	c (15,0) c |  4 |    152 |     205937 |      24916 |    51102 |     7381 |     3432 |    23516 |      147 |  5.290 |
127.03/36.76	c (15,0) c |  5 |    125 |     211293 |      18719 |    43961 |     9921 |     2086 |    24884 |       67 |  5.290 |
127.03/36.76	c (15,0) c |  6 |    129 |     182043 |      22188 |    45209 |    13393 |     3099 |    23871 |       86 |  5.290 |
127.03/36.76	c (15,0) c |  7 |    142 |     201890 |      39002 |    50013 |    12921 |     6042 |    21025 |      156 |  5.290 |
127.03/36.76	c (15,0) c 
209.21/47.06	c (25,0) c synthesis      211878 conflicts   226848218 propagations     2607 conflicts/sec  2791619 propagations/sec
209.21/47.06	c (25,0) c Total Memory so far : 1682.57Mb
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c |-------------------------------------------------------------------------------------------------------|
209.21/47.06	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
209.21/47.06	c (25,0) c |-------------------------------------------------------------------------------------------------------|
209.21/47.06	c (25,0) c |  0 |    195 |     251164 |      35584 |    58320 |    19392 |     4051 |    33686 |      474 |  5.290 |
209.21/47.06	c (25,0) c |  1 |    166 |     236097 |      49047 |    53722 |    22960 |     7606 |    29680 |      269 |  5.290 |
209.21/47.06	c (25,0) c |  2 |    167 |     233044 |      29259 |    59989 |    13069 |     2614 |    35111 |      293 |  5.290 |
209.21/47.06	c (25,0) c |  3 |    195 |     280962 |      31747 |    60510 |    15561 |     3064 |    34621 |      266 |  5.290 |
209.21/47.06	c (25,0) c |  4 |    205 |     292007 |      41468 |    62428 |    14712 |     5329 |    32398 |      326 |  5.290 |
209.21/47.06	c (25,0) c |  5 |    169 |     269579 |      29075 |    56295 |    12876 |     3656 |    33734 |      249 |  5.290 |
209.21/47.06	c (25,0) c |  6 |    185 |     274604 |      32774 |    61857 |    16585 |     4037 |    33669 |      249 |  5.290 |
209.21/47.06	c (25,0) c |  7 |    227 |     282812 |      55422 |    64083 |    16886 |     7399 |    30343 |      588 |  5.290 |
209.21/47.06	c (25,0) c 
209.21/47.06	c (25,0) c synthesis      304380 conflicts   338500420 propagations     2520 conflicts/sec  2802472 propagations/sec
209.21/47.06	c (25,0) c Total Memory so far : 1686.36Mb
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c |-------------------------------------------------------------------------------------------------------|
209.21/47.06	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
209.21/47.06	c (25,0) c |-------------------------------------------------------------------------------------------------------|
209.21/47.06	c (25,0) c |  0 |    271 |     340000 |      45103 |    72740 |    19007 |     4692 |    49105 |      667 |  5.290 |
209.21/47.06	c (25,0) c |  1 |    252 |     314052 |      61865 |    68891 |    23325 |     8339 |    45782 |      544 |  5.290 |
209.21/47.06	c (25,0) c |  2 |    197 |     280322 |      43318 |    67515 |    17226 |     4672 |    46625 |      537 |  5.290 |
209.21/47.06	c (25,0) c |  3 |    242 |     339534 |      51641 |    69388 |    13123 |     5867 |    47976 |      583 |  5.290 |
209.21/47.06	c (25,0) c |  4 |    250 |     351391 |      58828 |    72594 |    19957 |     8003 |    46157 |     1173 |  5.290 |
209.21/47.06	c (25,0) c |  5 |    189 |     312880 |      48218 |    61716 |    22123 |     7332 |    41588 |      440 |  5.290 |
209.21/47.06	c (25,0) c |  6 |    236 |     326977 |      50772 |    72081 |    24686 |     6876 |    47258 |      549 |  5.290 |
209.21/47.06	c (25,0) c |  7 |    299 |     349156 |      69819 |    72797 |    16256 |     8384 |    45600 |     1063 |  5.290 |
209.21/47.06	c (25,0) c 
209.21/47.06	c (25,0) c synthesis      429567 conflicts   453080979 propagations     2678 conflicts/sec  2824808 propagations/sec
209.21/47.06	c (25,0) c Total Memory so far : 1689.13Mb
209.21/47.06	c (25,0) c last restart ## conflicts  :  162 2112 
209.21/47.06	c (25,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
209.21/47.06	c (25,0) c Total Memory so far : 1689.39Mb
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c real time : 25.2794 s
209.21/47.06	c (25,0) c cpu time  : 162.74 s
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
209.21/47.06	c (25,0) c
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) c | Conflicts     |          438470 |      46936 |      62423 |      44857 |      52219 |      59568 |      49743 |      51835 |      70889 |
209.21/47.06	c (25,0) c | Decisions     |         2642888 |     342923 |     317856 |     282109 |     345908 |     355189 |     314821 |     331143 |     352939 |
209.21/47.06	c (25,0) c | Propagations  |       460191274 |   55373221 |   58894034 |   49639902 |   61021239 |   58488072 |   55009571 |   59170446 |   62594789 |
209.21/47.06	c (25,0) c | Avg_Trail     |                 |      23265 |      23371 |      25708 |      25794 |      21559 |      23778 |      23482 |      23437 |
209.21/47.06	c (25,0) c | Avg_DL        |                 |        170 |        152 |        187 |        176 |        160 |        162 |        168 |        192 |
209.21/47.06	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.21/47.06	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) c | Exported      |           55185 |       4842 |       8379 |       4845 |       5899 |       8087 |       7752 |       6906 |       8475 |
209.21/47.06	c (25,0) c | Imported      |          375843 |      50143 |      46701 |      46625 |      48877 |      47002 |      41588 |      48199 |      46708 |
209.21/47.06	c (25,0) c | Good          |           31161 |       3844 |       4076 |       3894 |       3923 |       3778 |       3669 |       3961 |       4016 |
209.21/47.06	c (25,0) c | Purge         |          344682 |      46299 |      42625 |      42731 |      44954 |      43224 |      37919 |      44238 |      42692 |
209.21/47.06	c (25,0) c | Promoted      |            5677 |        676 |        563 |        548 |        591 |       1197 |        449 |        568 |       1085 |
209.21/47.06	c (25,0) c | Remove_Imp    |          130040 |      13056 |       6603 |      24436 |      21172 |      10549 |      20521 |      21077 |      12626 |
209.21/47.06	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |
209.21/47.06	c (25,0) c | Binaries      |                 |        662 |        431 |        482 |        581 |        729 |        585 |        546 |        492 |
209.21/47.06	c (25,0) c | Glues         |                 |        898 |        607 |        579 |        694 |       1064 |        659 |        775 |        860 |
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) c | Orig_Seen     |             2 % |      73269 |      69665 |      67542 |      70139 |      73378 |      61733 |      72648 |      73542 |
209.21/47.06	c (25,0) c | Diff Orig seen|                 |       3130 | -      474 | -     2597 |      X     |       3239 | -     8406 |       2509 |       3403 |
209.21/47.06	c (25,0) c | Hamming       |             8 % |       8401 |       8647 |       7348 |      X     |       8861 |       8405 |       7268 |       8366 |
209.21/47.06	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.21/47.06	c (25,0) 
209.21/47.06	c (25,0) s SATISFIABLE
44.45/47.16	c (25,0) SatSolver.solve End
44.45/47.16	c (25,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
44.45/47.16	c (25,0) Show results Begin
209.92/47.25	s SATISFIABLE
209.92/47.29	v <instantiation>
209.92/47.29	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>
209.92/47.29	v     <values>20 8 11 9 19 2 11 6 4 25 5 6 5 3 6 1 25 10 2 18 5 25 24 5 18 0 2 3 19 9 11 8 7 2 19 9 17 11 6 19 2 14 18 11 9 19 2 22 18 2 9 19 2 14 18 19 3 2 19 2 21 3 16 25 0 3 2 21 25 2 1 8 20 19 2 21 2 5 15 5 25 16 3 19 2 18 9 1 2 0 25 4 15 5 2 19 3 21 2 8 5 2 15 19 3 9 8 5 15 3 5 8 0 2 11 6 18 5 12 19 2 7 18 8 0 2 11 6 19 2 7 8 19 3 9 1 2 2 1 12 18 2 23 18 13 20 19 25 11 12 5 2 21 2 18 5 9 4 2 1 2 0 2 1 15 13 2 6 1 3 6 16 2 7 18 2 6 25 19 12 5 2 0 18 1 9 2 8 5 3 6 2 3 19 15 2 5 6 3 11 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 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 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 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 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0</values>
209.92/47.29	v </instantiation>
209.92/47.29	c (25,0) Show results End
209.92/47.29	c (25,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
209.92/47.29	c (25,0) 25,25,STOP-AFTER(ALL)
209.92/47.29	c END-Prog: Mon Aug 13 23:38:43 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 (10302 MiB free)
  memory of node 1: 16384 MiB (8310 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.102478 s]*
/proc/loadavg: 8.22 8.16 7.84 2/198 9395
/proc/meminfo: memFree=18967020/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 237190767 115843072 349 33554432000 4194304 5098028 140725433481264 140725433478520 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 349 296 221 0 87 0
[pid=9376] ppid=9373 vsize=27313900 memory=107940 CPUtime=0.11 cores=0-7
/proc/9376/stat : 9376 (java) S 9373 9373 8750 0 -1 1077944320 6464 0 0 0 8 3 0 0 20 0 20 0 237190767 27969433600 26985 33554432000 4194304 4196468 140725256130320 140725256112864 140373614022391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
/proc/9376/statm: 6828475 26985 2738 1 0 6790935 0
[pid=9376/tid=9377] ppid=9373 vsize=27313900 memory=4642539906553508765 CPUtime=0.08 cores=0-7
/proc/9376/task/9377/stat : 9377 (java) R 9373 9373 8750 0 -1 4202560 4569 0 0 0 6 2 0 0 20 0 20 0 237190767 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373585815432 140373598102878 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9378] ppid=9373 vsize=27313900 memory=732370847710030821 CPUtime=0 cores=0-7
/proc/9376/task/9378/stat : 9378 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373618265232 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9379] ppid=9373 vsize=27313900 memory=140709372577408 CPUtime=0 cores=0-7
/proc/9376/task/9379/stat : 9379 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373432421392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9380] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9380/stat : 9380 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373431368592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9381] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9381/stat : 9381 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373430315792 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9382] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9382/stat : 9382 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373429262992 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9383] ppid=9373 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9376/task/9383/stat : 9383 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373428210192 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9384] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9384/stat : 9384 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373427157392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9385] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9385/stat : 9385 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 26985 33554432000 4194304 4196468 140725256130320 140373426104592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9386] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9386/stat : 9386 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190771 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372604824432 140373614033538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9387] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9387/stat : 9387 (java) S 9373 9373 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 26985 33554432000 4194304 4196468 140725256130320 140371476604448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9388] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9388/stat : 9388 (java) S 9373 9373 8750 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 26985 33554432000 4194304 4196468 140725256130320 140371342382448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9389] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9389/stat : 9389 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 26985 33554432000 4194304 4196468 140725256130320 140370967877968 140373614040987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9390] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9390/stat : 9390 (java) S 9373 9373 8750 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372603771248 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9391] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9391/stat : 9391 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372602718448 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9392] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9392/stat : 9392 (java) S 9373 9373 8750 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372601665648 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9393] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9393/stat : 9393 (java) S 9373 9373 8750 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372600612848 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9394] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9394/stat : 9394 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 26985 33554432000 4194304 4196468 140725256130320 140370469973088 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9395] ppid=9373 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9376/task/9395/stat : 9395 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 26985 33554432000 4194304 4196468 140725256130320 140372599561264 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109336 KiB

[startup+0.210237 s]*
/proc/loadavg: 8.22 8.16 7.84 2/198 9395
/proc/meminfo: memFree=18950896/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 237190767 115843072 349 33554432000 4194304 5098028 140725433481264 140725433478520 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 349 296 221 0 87 0
[pid=9376] ppid=9373 vsize=27313900 memory=122040 CPUtime=0.24 cores=0-7
/proc/9376/stat : 9376 (java) S 9373 9373 8750 0 -1 1077944320 10238 0 0 0 20 4 0 0 20 0 20 0 237190767 27969433600 30510 33554432000 4194304 4196468 140725256130320 140725256112864 140373614022391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
/proc/9376/statm: 6828475 30510 2895 1 0 6790935 0
[pid=9376/tid=9377] ppid=9373 vsize=27313900 memory=576460756329955521 CPUtime=0.19 cores=0-7
/proc/9376/task/9377/stat : 9377 (java) R 9373 9373 8750 0 -1 4202560 8125 0 0 0 16 3 0 0 20 0 20 0 237190767 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373585812096 140373598102878 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9378] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9378/stat : 9378 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373618265232 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9379] ppid=9373 vsize=27313900 memory=140709372586442 CPUtime=0 cores=0-7
/proc/9376/task/9379/stat : 9379 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373432421392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9380] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9380/stat : 9380 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373431368592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9381] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9381/stat : 9381 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373430315792 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9382] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9382/stat : 9382 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373429262992 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9383] ppid=9373 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9376/task/9383/stat : 9383 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373428210192 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9384] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9384/stat : 9384 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373427157392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9385] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9385/stat : 9385 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 30575 33554432000 4194304 4196468 140725256130320 140373426104592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9386] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9386/stat : 9386 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190771 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372604824432 140373614033538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9387] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9387/stat : 9387 (java) S 9373 9373 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 30575 33554432000 4194304 4196468 140725256130320 140371476604448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9388] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9388/stat : 9388 (java) S 9373 9373 8750 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 30575 33554432000 4194304 4196468 140725256130320 140371342382448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9389] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9389/stat : 9389 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 30575 33554432000 4194304 4196468 140725256130320 140370967877968 140373614040987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9390] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9390/stat : 9390 (java) S 9373 9373 8750 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372603771248 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9391] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9391/stat : 9391 (java) S 9373 9373 8750 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372602718448 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9392] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9392/stat : 9392 (java) S 9373 9373 8750 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372601665648 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9393] ppid=9373 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/9376/task/9393/stat : 9393 (java) S 9373 9373 8750 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 237190774 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372600612848 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9394] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9394/stat : 9394 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 30575 33554432000 4194304 4196468 140725256130320 140370469973088 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9395] ppid=9373 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9376/task/9395/stat : 9395 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 30575 33554432000 4194304 4196468 140725256130320 140372599561264 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 123436 KiB

[startup+0.310184 s]*
/proc/loadavg: 8.22 8.16 7.84 2/198 9395
/proc/meminfo: memFree=18947856/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 237190767 115843072 349 33554432000 4194304 5098028 140725433481264 140725433478520 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 349 296 221 0 87 0
[pid=9376] ppid=9373 vsize=27313900 memory=125832 CPUtime=0.41 cores=0-7
/proc/9376/stat : 9376 (java) S 9373 9373 8750 0 -1 1077944320 10785 0 0 0 37 4 0 0 20 0 20 0 237190767 27969433600 31458 33554432000 4194304 4196468 140725256130320 140725256112864 140373614022391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
/proc/9376/statm: 6828475 31458 2982 1 0 6790935 0
[pid=9376/tid=9377] ppid=9373 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9376/task/9377/stat : 9377 (java) R 9373 9373 8750 0 -1 4202560 8508 0 0 0 25 4 0 0 20 0 20 0 237190767 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373585817840 140373598102878 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9378] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9378/stat : 9378 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373618265232 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9379] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9379/stat : 9379 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373432421392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9380] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9380/stat : 9380 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373431368592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9381] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9381/stat : 9381 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373430315792 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9382] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9382/stat : 9382 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373429262992 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9383] ppid=9373 vsize=27313900 memory=140709235616431 CPUtime=0 cores=0-7
/proc/9376/task/9383/stat : 9383 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373428210192 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9384] ppid=9373 vsize=27313900 memory=140709235618736 CPUtime=0 cores=0-7
/proc/9376/task/9384/stat : 9384 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373427157392 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9385] ppid=9373 vsize=27313900 memory=140709235621040 CPUtime=0 cores=0-7
/proc/9376/task/9385/stat : 9385 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27969433600 31458 33554432000 4194304 4196468 140725256130320 140373426104592 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9386] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9386/stat : 9386 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190771 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372604824432 140373614033538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9387] ppid=9373 vsize=27313900 memory=281418471255952 CPUtime=0 cores=0-7
/proc/9376/task/9387/stat : 9387 (java) S 9373 9373 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 31458 33554432000 4194304 4196468 140725256130320 140371476604448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9388] ppid=9373 vsize=27313900 memory=281418471253648 CPUtime=0 cores=0-7
/proc/9376/task/9388/stat : 9388 (java) S 9373 9373 8750 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237190772 27969433600 31458 33554432000 4194304 4196468 140725256130320 140371342382448 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9389] ppid=9373 vsize=27313900 memory=281418471260560 CPUtime=0 cores=0-7
/proc/9376/task/9389/stat : 9389 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 31458 33554432000 4194304 4196468 140725256130320 140370967877968 140373614040987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9390] ppid=9373 vsize=27313900 memory=281418471201840 CPUtime=0 cores=0-7
/proc/9376/task/9390/stat : 9390 (java) S 9373 9373 8750 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 237190774 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372603771248 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9391] ppid=9373 vsize=27313900 memory=281418471274384 CPUtime=0.01 cores=0-7
/proc/9376/task/9391/stat : 9391 (java) S 9373 9373 8750 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 237190774 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372602718448 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9392] ppid=9373 vsize=27313900 memory=281418471281296 CPUtime=0.01 cores=0-7
/proc/9376/task/9392/stat : 9392 (java) S 9373 9373 8750 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 237190774 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372601665648 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9393] ppid=9373 vsize=27313900 memory=281418471278992 CPUtime=0.07 cores=0-7
/proc/9376/task/9393/stat : 9393 (java) S 9373 9373 8750 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 20 0 237190774 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372600612848 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9394] ppid=9373 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9394/stat : 9394 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 31458 33554432000 4194304 4196468 140725256130320 140370469973088 140373614032597 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9395] ppid=9373 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9376/task/9395/stat : 9395 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190775 27969433600 31458 33554432000 4194304 4196468 140725256130320 140372599561264 140373614033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 127228 KiB

[startup+0.701009 s]
/proc/loadavg: 8.22 8.16 7.84 2/198 9395
/proc/meminfo: memFree=18923672/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 237190767 115843072 349 33554432000 4194304 5098028 140725433481264 140725433478520 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 349 296 221 0 87 0
[pid=9376] ppid=9373 vsize=27320172 memory=164808 CPUtime=1.03 cores=0-7
/proc/9376/stat : 9376 (java) S 9373 9373 8750 0 -1 1077944320 17728 0 0 0 96 7 0 0 20 0 20 0 237190767 27975856128 41202 33554432000 4194304 4196468 140725256130320 140725256112864 140373614022391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
/proc/9376/statm: 6830043 41202 3128 1 0 6791447 0
[pid=9376/tid=9377] ppid=9373 vsize=27320172 memory=0 CPUtime=0.67 cores=0-7
/proc/9376/task/9377/stat : 9377 (java) R 9373 9373 8750 0 -1 4202560 14898 0 0 0 61 6 0 0 20 0 20 0 237190767 27975856128 41202 33554432000 4194304 4196468 140725256130320 140373585846272 140373598102878 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9378] ppid=9373 vsize=27320172 memory=2353 CPUtime=0 cores=0-7
/proc/9376/task/9378/stat : 9378 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27975856128 41202 33554432000 4194304 4196468 140725256130320 140373618265232 140373614032597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9379] ppid=9373 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/9376/task/9379/stat : 9379 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237190770 27975856128 41202 33554432000 4194304 4196468 140725256130320 140373432421392 140373614032597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0
[pid=9376/tid=9380] ppid=9373 vsize=27320172 memory=856 CPUtime=0 cores=0-7
/proc/9376/task/9380/stat : 9380 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237190770 27975856128 41202 33554432000 4194304 4196468 140725256130320 140373431368592 140373614032597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20393984 140725256135657 140725256135981 140725256135981 140725256138703 0

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

[pid=9396/tid=9397] ppid=9373 vsize=8413904 memory=7888 CPUtime=0.82 cores=0-7
/proc/9396/task/9397/stat : 9397 (java) S 9373 9373 8750 0 -1 1077944384 15043 0 0 0 75 7 0 0 20 0 24 0 237192866 8615837696 30889 33554432000 4194304 4196468 140735859089280 140115339808656 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9398] ppid=9373 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/9396/task/9398/stat : 9398 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140115372210832 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9399] ppid=9373 vsize=8413904 memory=1800 CPUtime=0 cores=0-7
/proc/9396/task/9399/stat : 9399 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140115190299152 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9400] ppid=9373 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/9396/task/9400/stat : 9400 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140115189246352 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9401] ppid=9373 vsize=8413904 memory=4136 CPUtime=0 cores=0-7
/proc/9396/task/9401/stat : 9401 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114851166480 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9402] ppid=9373 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/9396/task/9402/stat : 9402 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114850114704 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9403] ppid=9373 vsize=8413904 memory=3308 CPUtime=0 cores=0-7
/proc/9396/task/9403/stat : 9403 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114849061904 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9404] ppid=9373 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/9396/task/9404/stat : 9404 (java) S 9373 9373 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114848009104 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9405] ppid=9373 vsize=8413904 memory=123556 CPUtime=0 cores=0-7
/proc/9396/task/9405/stat : 9405 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237192867 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114846956304 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9406] ppid=9373 vsize=8413904 memory=1178468 CPUtime=0 cores=0-7
/proc/9396/task/9406/stat : 9406 (java) S 9373 9373 8750 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237192869 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114662848880 140115367979650 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9407] ppid=9373 vsize=8413904 memory=4096 CPUtime=0 cores=0-7
/proc/9396/task/9407/stat : 9407 (java) S 9373 9373 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237192869 8615837696 30889 33554432000 4194304 4196468 140735859089280 140113644348448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9408] ppid=9373 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/9396/task/9408/stat : 9408 (java) S 9373 9373 8750 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237192869 8615837696 30889 33554432000 4194304 4196468 140735859089280 140113510126448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9409] ppid=9373 vsize=8413904 memory=123556 CPUtime=0 cores=0-7
/proc/9396/task/9409/stat : 9409 (java) S 9373 9373 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140113135621968 140115367987099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9410] ppid=9373 vsize=8413904 memory=1183416 CPUtime=0.09 cores=0-7
/proc/9396/task/9410/stat : 9410 (java) S 9373 9373 8750 0 -1 1077944384 581 0 0 0 9 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114661796720 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9411] ppid=9373 vsize=8413904 memory=4096 CPUtime=0.09 cores=0-7
/proc/9396/task/9411/stat : 9411 (java) S 9373 9373 8750 0 -1 1077944384 359 0 0 0 9 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114660743920 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9412] ppid=9373 vsize=8413904 memory=-6733704525061579059 CPUtime=0.14 cores=0-7
/proc/9396/task/9412/stat : 9412 (java) S 9373 9373 8750 0 -1 1077944384 589 0 0 0 14 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114659691120 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9413] ppid=9373 vsize=8413904 memory=-7003737579269690708 CPUtime=0.23 cores=0-7
/proc/9396/task/9413/stat : 9413 (java) S 9373 9373 8750 0 -1 1077944384 673 0 0 0 23 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114658638320 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9414] ppid=9373 vsize=8413904 memory=1612 CPUtime=0 cores=0-7
/proc/9396/task/9414/stat : 9414 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140112637717088 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9415] ppid=9373 vsize=8413904 memory=1812 CPUtime=0 cores=0-7
/proc/9396/task/9415/stat : 9415 (java) S 9373 9373 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237192872 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114657585712 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9417] ppid=9373 vsize=8413904 memory=1064 CPUtime=0 cores=0-7
/proc/9396/task/9417/stat : 9417 (java) S 9373 9373 8750 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237192945 8615837696 30889 33554432000 4194304 4196468 140735859089280 140114651968576 140115367993113 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9419] ppid=9373 vsize=8413904 memory=6376 CPUtime=0 cores=0-7
/proc/9396/task/9419/stat : 9419 (java) S 9373 9373 8750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 237192946 8615837696 30889 33554432000 4194304 4196468 140735859089280 140111966617776 140115367990429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9420] ppid=9373 vsize=8413904 memory=4636 CPUtime=0 cores=0-7
/proc/9396/task/9420/stat : 9420 (java) S 9373 9373 8750 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237192946 8615837696 30889 33554432000 4194304 4196468 140735859089280 140112235053104 140115367990429 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9421] ppid=9373 vsize=8413904 memory=3644 CPUtime=0 cores=0-7
/proc/9396/task/9421/stat : 9421 (java) S 9373 9373 8750 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237192948 8615837696 30889 33554432000 4194304 4196468 140735859089280 140111698189856 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
Current children cumulated CPU time: 207.55 s
Current children cumulated vsize: 10256700 KiB
Current children cumulated memory: 1314416 KiB

[startup+47.2011 s]
/proc/loadavg: 6.22 7.53 7.64 9/212 9430
/proc/meminfo: memFree=17694492/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1472 CPUtime=42.89 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 590 49180 0 0 0 0 4085 204 20 0 1 0 237190767 115843072 368 33554432000 4194304 5098028 140725433481264 140725433478008 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 368 311 221 0 87 0
[pid=9396] ppid=9373 vsize=8282828 memory=146176 CPUtime=167.03 cores=0-7
/proc/9396/stat : 9396 (java) S 9373 9373 8750 0 -1 1077944320 19757 1198848 0 0 161 10 16276 256 20 0 22 0 237192865 8481615872 36544 33554432000 4194304 4196468 140735859089280 140735859071824 140115367968503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
/proc/9396/statm: 2070707 36544 3177 1 0 2032106 0
[pid=9396/tid=9397] ppid=9373 vsize=8282828 memory=1181276 CPUtime=166.17 cores=0-7
/proc/9396/task/9397/stat : 9397 (java) R 9373 9373 8750 0 -1 4202560 15160 1198848 0 0 78 7 16276 256 20 0 22 0 237192866 8481615872 36544 33554432000 4194304 4196468 140735859089280 140115339806096 140115367980438 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9398] ppid=9373 vsize=8282828 memory=-4075877051373423738 CPUtime=165.32 cores=0-7
/proc/9396/task/9398/stat : 9398 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140115372210832 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9399] ppid=9373 vsize=8282828 memory=2216 CPUtime=165.32 cores=0-7
/proc/9396/task/9399/stat : 9399 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140115190299152 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9400] ppid=9373 vsize=8282828 memory=928 CPUtime=165.32 cores=0-7
/proc/9396/task/9400/stat : 9400 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140115189246352 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9401] ppid=9373 vsize=8282828 memory=1564 CPUtime=165.32 cores=0-7
/proc/9396/task/9401/stat : 9401 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114851166480 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9402] ppid=9373 vsize=8282828 memory=2192 CPUtime=165.32 cores=0-7
/proc/9396/task/9402/stat : 9402 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114850114704 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9403] ppid=9373 vsize=8282828 memory=3984 CPUtime=165.32 cores=0-7
/proc/9396/task/9403/stat : 9403 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114849061904 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9404] ppid=9373 vsize=8282828 memory=2064 CPUtime=165.32 cores=0-7
/proc/9396/task/9404/stat : 9404 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114848009104 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9405] ppid=9373 vsize=8282828 memory=1764 CPUtime=165.32 cores=0-7
/proc/9396/task/9405/stat : 9405 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114846956304 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9406] ppid=9373 vsize=8282828 memory=856 CPUtime=165.32 cores=0-7
/proc/9396/task/9406/stat : 9406 (java) S 9373 9373 8750 0 -1 1077944384 7 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114662848880 140115367979650 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9407] ppid=9373 vsize=8282828 memory=12544 CPUtime=165.32 cores=0-7
/proc/9396/task/9407/stat : 9407 (java) S 9373 9373 8750 0 -1 1077944384 13 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 36544 33554432000 4194304 4196468 140735859089280 140113644348448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9408] ppid=9373 vsize=8282828 memory=752 CPUtime=165.32 cores=0-7
/proc/9396/task/9408/stat : 9408 (java) S 9373 9373 8750 0 -1 1077944384 21 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 36544 33554432000 4194304 4196468 140735859089280 140113510126448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9409] ppid=9373 vsize=8282828 memory=1612 CPUtime=165.32 cores=0-7
/proc/9396/task/9409/stat : 9409 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140113135621968 140115367987099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9410] ppid=9373 vsize=8282828 memory=1812 CPUtime=165.46 cores=0-7
/proc/9396/task/9410/stat : 9410 (java) R 9373 9373 8750 0 -1 1077944384 900 1198848 0 0 14 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114661796720 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9411] ppid=9373 vsize=8282828 memory=1064 CPUtime=165.43 cores=0-7
/proc/9396/task/9411/stat : 9411 (java) S 9373 9373 8750 0 -1 1077944384 367 1198848 0 0 11 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114660743920 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9412] ppid=9373 vsize=8282828 memory=6376 CPUtime=165.49 cores=0-7
/proc/9396/task/9412/stat : 9412 (java) S 9373 9373 8750 0 -1 1077944384 609 1198848 0 0 17 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114659691120 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9413] ppid=9373 vsize=8282828 memory=4636 CPUtime=165.59 cores=0-7
/proc/9396/task/9413/stat : 9413 (java) R 9373 9373 8750 0 -1 4202560 1237 1198848 0 0 27 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114658638320 140115347683292 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9414] ppid=9373 vsize=8282828 memory=3644 CPUtime=165.32 cores=0-7
/proc/9396/task/9414/stat : 9414 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140112637717088 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9415] ppid=9373 vsize=8282828 memory=1268 CPUtime=165.32 cores=0-7
/proc/9396/task/9415/stat : 9415 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114657585712 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9417] ppid=9373 vsize=8282828 memory=1124 CPUtime=165.32 cores=0-7
/proc/9396/task/9417/stat : 9417 (java) S 9373 9373 8750 0 -1 1077944384 24 1198848 0 0 0 0 16276 256 20 0 22 0 237192945 8481615872 36544 33554432000 4194304 4196468 140735859089280 140114651967760 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9421] ppid=9373 vsize=8282828 memory=13636 CPUtime=165.32 cores=0-7
/proc/9396/task/9421/stat : 9421 (java) S 9373 9373 8750 0 -1 1077944384 12 1198848 0 0 0 0 16276 256 20 0 22 0 237192948 8481615872 36565 33554432000 4194304 4196468 140735859089280 140111698191664 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
Current children cumulated CPU time: 209.92 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 147648 KiB

[startup+47.301 s]
/proc/loadavg: 6.22 7.53 7.64 9/212 9430
/proc/meminfo: memFree=17694492/32770624 swapFree=67108492/67108860
[pid=9373] ppid=9370 vsize=113128 memory=1472 CPUtime=42.89 cores=0-7
/proc/9373/stat : 9373 (scop.sh) S 9370 9373 8750 0 -1 4202496 590 49180 0 0 0 0 4085 204 20 0 1 0 237190767 115843072 368 33554432000 4194304 5098028 140725433481264 140725433478008 140229996380796 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38940672 140725433484322 140725433484547 140725433484547 140725433487309 0
/proc/9373/statm: 28282 368 311 221 0 87 0
[pid=9396] ppid=9373 vsize=8282828 memory=155472 CPUtime=167.31 cores=0-7
/proc/9396/stat : 9396 (java) S 9373 9373 8750 0 -1 1077944320 20473 1198848 0 0 188 11 16276 256 20 0 22 0 237192865 8481615872 38868 33554432000 4194304 4196468 140735859089280 140735859071824 140115367968503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
/proc/9396/statm: 2070707 38868 3181 1 0 2032106 0
[pid=9396/tid=9397] ppid=9373 vsize=8282828 memory=1472 CPUtime=166.27 cores=0-7
/proc/9396/task/9397/stat : 9397 (java) R 9373 9373 8750 0 -1 4202560 15276 1198848 0 0 87 8 16276 256 20 0 22 0 237192866 8481615872 38868 33554432000 4194304 4196468 140735859089280 140115339804112 140115360654135 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9398] ppid=9373 vsize=8282828 memory=1186400 CPUtime=165.32 cores=0-7
/proc/9396/task/9398/stat : 9398 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140115372210832 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9399] ppid=9373 vsize=8282828 memory=123484 CPUtime=165.32 cores=0-7
/proc/9396/task/9399/stat : 9399 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140115190299152 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9400] ppid=9373 vsize=8282828 memory=1186900 CPUtime=165.32 cores=0-7
/proc/9396/task/9400/stat : 9400 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140115189246352 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9401] ppid=9373 vsize=8282828 memory=1184412 CPUtime=165.32 cores=0-7
/proc/9396/task/9401/stat : 9401 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114851166480 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9402] ppid=9373 vsize=8282828 memory=1189300 CPUtime=165.32 cores=0-7
/proc/9396/task/9402/stat : 9402 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114850114704 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9403] ppid=9373 vsize=8282828 memory=1184760 CPUtime=165.32 cores=0-7
/proc/9396/task/9403/stat : 9403 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114849061904 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9404] ppid=9373 vsize=8282828 memory=19 CPUtime=165.32 cores=0-7
/proc/9396/task/9404/stat : 9404 (java) S 9373 9373 8750 0 -1 1077944384 2 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114848009104 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9405] ppid=9373 vsize=8282828 memory=19 CPUtime=165.32 cores=0-7
/proc/9396/task/9405/stat : 9405 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192867 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114846956304 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9406] ppid=9373 vsize=8282828 memory=1472 CPUtime=165.32 cores=0-7
/proc/9396/task/9406/stat : 9406 (java) S 9373 9373 8750 0 -1 1077944384 7 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114662848880 140115367979650 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9407] ppid=9373 vsize=8282828 memory=123556 CPUtime=165.32 cores=0-7
/proc/9396/task/9407/stat : 9407 (java) S 9373 9373 8750 0 -1 1077944384 13 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 38868 33554432000 4194304 4196468 140735859089280 140113644348448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9408] ppid=9373 vsize=8282828 memory=1268 CPUtime=165.32 cores=0-7
/proc/9396/task/9408/stat : 9408 (java) S 9373 9373 8750 0 -1 1077944384 21 1198848 0 0 0 0 16276 256 20 0 22 0 237192869 8481615872 38868 33554432000 4194304 4196468 140735859089280 140113510126448 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9409] ppid=9373 vsize=8282828 memory=1124 CPUtime=165.32 cores=0-7
/proc/9396/task/9409/stat : 9409 (java) S 9373 9373 8750 0 -1 1077944384 1 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140113135621968 140115367987099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9410] ppid=9373 vsize=8282828 memory=14884 CPUtime=165.48 cores=0-7
/proc/9396/task/9410/stat : 9410 (java) S 9373 9373 8750 0 -1 1077944384 926 1198848 0 0 16 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114661796720 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9411] ppid=9373 vsize=8282828 memory=3812 CPUtime=165.49 cores=0-7
/proc/9396/task/9411/stat : 9411 (java) S 9373 9373 8750 0 -1 1077944384 590 1198848 0 0 17 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114660743920 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9412] ppid=9373 vsize=8282828 memory=63948 CPUtime=165.53 cores=0-7
/proc/9396/task/9412/stat : 9412 (java) S 9373 9373 8750 0 -1 1077944384 655 1198848 0 0 21 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114659691120 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9413] ppid=9373 vsize=8282828 memory=1100 CPUtime=165.66 cores=0-7
/proc/9396/task/9413/stat : 9413 (java) S 9373 9373 8750 0 -1 1077944384 1541 1198848 0 0 34 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114658638320 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9414] ppid=9373 vsize=8282828 memory=0 CPUtime=165.32 cores=0-7
/proc/9396/task/9414/stat : 9414 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140112637717088 140115367978709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9415] ppid=9373 vsize=8282828 memory=4061 CPUtime=165.32 cores=0-7
/proc/9396/task/9415/stat : 9415 (java) S 9373 9373 8750 0 -1 1077944384 3 1198848 0 0 0 0 16276 256 20 0 22 0 237192872 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114657585712 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9417] ppid=9373 vsize=8282828 memory=1893 CPUtime=165.32 cores=0-7
/proc/9396/task/9417/stat : 9417 (java) S 9373 9373 8750 0 -1 1077944384 24 1198848 0 0 0 0 16276 256 20 0 22 0 237192945 8481615872 38868 33554432000 4194304 4196468 140735859089280 140114651967760 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
[pid=9396/tid=9421] ppid=9373 vsize=8282828 memory=-3622645143214314312 CPUtime=165.32 cores=0-7
/proc/9396/task/9421/stat : 9421 (java) S 9373 9373 8750 0 -1 1077944384 12 1198848 0 0 0 0 16276 256 20 0 22 0 237192948 8481615872 38868 33554432000 4194304 4196468 140735859089280 140111698191664 140115367979650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8912896 140735859090610 140735859090733 140735859090733 140735859093455 0
Current children cumulated CPU time: 210.2 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 156944 KiB

Child status: 0
Real time (s): 47.3146
CPU time (s): 210.24
CPU user time (s): 205.505
CPU system time (s): 4.73545
CPU usage (%): 444.345
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6176868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.505
system time used= 4.73545
maximum resident set size= 6175472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39675
involuntary context switches= 1696


# summary of solver processes directly reported to runsolver:
#   pid: 9373
#   total CPU time (s): 210.24
#   total CPU user time (s): 205.505
#   total CPU system time (s): 4.73545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.392661 second user time and 0.59947 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-13 23:37:56
IDJOB=4307091
IDBENCH=141455
IDSOLVER=2788
FILE ID=node149/4307091-1534196276
RUNJOBID= node149-1534192881-8777
PBS_JOBID= 21038000
Free space on /tmp= 39228 MiB

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

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

MD5SUM BENCH= 1301ca50d7ea6d03cca9e07ce6e480be
RANDOM SEED=1068689049

node149.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.60
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.60
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.60
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.60
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:        19061028 kB
MemAvailable:   31901100 kB
Buffers:          218284 kB
Cached:         12737012 kB
SwapCached:           20 kB
Active:          6330100 kB
Inactive:        6679740 kB
Active(anon):       1844 kB
Inactive(anon):   104728 kB
Active(file):    6328256 kB
Inactive(file):  6575012 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108492 kB
Dirty:              8652 kB
Writeback:             0 kB
AnonPages:         72116 kB
Mapped:            53668 kB
Shmem:             49616 kB
Slab:             393076 kB
SReclaimable:     365264 kB
SUnreclaim:        27812 kB
KernelStack:        3520 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 39220 MiB
End job on node149 at 2018-08-13 23:38:43