Trace number 4307079

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 404.49 58.0313

General information on the benchmark

NameCarSequencing/
CarSequencing-04-72_c18.xml
MD5SUM606ad4221d4941292d84c5bdd64a5487
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 benchmark51.942
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints731
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":500},{"size":22,"count":100}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":100},{"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":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"sum","count":630},{"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-10131-serial-file.bin HOME/instance-4307079-1534196478.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:41:18 CEST 2018
0.65/0.55	c PID: 10134
0.65/0.55	c IP: 172.20.3.139
0.65/0.55	c HOST: node139.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.25/1.21	c (0,0) Parsing End
2.25/1.22	c (0,0) CSP: 100 int (0 aux), 500 bool (0 aux), 731 ctr, max domain size 22
2.25/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.25/1.22	c (0,0) Constraint Name Generate Begin
2.25/1.24	c (0,0) Ctr:HOME/instance-4307079-1534196478.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
2.25/1.24	c (0,0) Constraint Name Generate End
2.25/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.25/1.24	c (0,0) CSP to CSPinCNF Begin
8.78/3.06	c (2,2) translated 74 (10%) constraints
9.77/3.31	c (2,2) translated 147 (20%) constraints
9.77/3.32	c (2,2) translated 220 (30%) constraints
9.77/3.34	c (2,2) translated 293 (40%) constraints
9.77/3.35	c (2,2) translated 366 (50%) constraints
9.77/3.37	c (2,2) translated 439 (60%) constraints
9.77/3.38	c (2,2) translated 512 (70%) constraints
9.77/3.39	c (2,2) translated 585 (80%) constraints
10.99/3.66	c (3,3) translated 658 (90%) constraints
11.33/3.76	c (3,3) translated 731 (100%) constraints
12.55/4.03	c (3,3) STATISTICS1:HOME/instance-4307079-1534196478.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,7800,26952,9223372036854775807,22,23,100,9223372036854775807:105;2305843009213693952:1;1152921504606846976:2;576460752303423488:3;144115188075855872:3;36028797018963968:1;18014398509481984:4;9007199254740992:1;2251799813685248:3;562949953421312:3;281474976710656:2;140737488355328:1;35184372088832:3;17592186044416:2;8796093022208:1;4398046511104:2;2199023255552:1;549755813888:5;137438953472:1;68719476736:2;34359738368:1;17179869184:2;8589934592:3;2147483648:1;1073741824:2;536870912:3;134217728:3;33554432:1;16777216:4;8388608:1;2097152:3;524288:3;262144:1;131072:1;32768:1;16384:2;8192:1;2048:1;512:2;128:1;32:1;16:193;8:1;4:196;2:100,22:8600;2:69494,23:100;3:13800;2:12400;1:652,100:49;98:1;97:2;96:1;95:2;94:3;92:1;91:2;90:3;88:3;86:1;85:4;84:1;82:3;80:3;79:2;78:1;76:3;75:2;74:1;73:2;72:1;70:5;68:1;67:2;66:1;65:2;64:3;62:1;61:2;60:3;58:3;56:1;55:4;54:1;52:3;50:3;49:2;48:1;46:3;45:2;44:1;43:2;42:1;40:5;38:1;37:2;36:1;35:2;34:3;32:1;31:2;30:3;28:3;26:1;25:4;24:1;22:3;20:3;19:1;18:1;16:1;15:2;14:1;12:1;10:2;8:1;6:1;5:193;4:1;3:196;2:100;1:68400;0:100,4356:49;4225:1;4096:3;3969:2;3844:3;3721:1;3600:5;3364:3;3249:1;3136:5;2916:3;2809:3;2704:3;2500:5;2401:1;2304:3;2116:5;2025:1;1936:3;1849:2;1764:3
12.55/4.03	c (3,3) ==========================================
12.55/4.03	c (3,3) Order
12.55/4.03	c (3,3) ==========================================
13.76/4.39	c (3,3) translated 2696 (10%) constraints
14.51/4.51	c (3,3) translated 5391 (20%) constraints
14.51/4.57	c (4,4) translated 8086 (30%) constraints
14.91/4.62	c (4,4) translated 10781 (40%) constraints
14.91/4.66	c (4,4) translated 13476 (50%) constraints
14.91/4.70	c (4,4) translated 16172 (60%) constraints
15.04/4.74	c (4,4) translated 18867 (70%) constraints
15.04/4.78	c (4,4) translated 21562 (80%) constraints
15.13/4.82	c (4,4) translated 24257 (90%) constraints
16.22/5.29	c (4,4) translated 26952 (100%) constraints
16.45/5.30	c (4,4) CSP to CSPinCNF End
16.45/5.30	c (4,4) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 34154 ctr, max domain size 35
16.45/5.30	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.45/5.30	c (4,4) CSPinCNF Propagation Begin
17.27/5.55	c (5,4) 0 values, 300 unsatisfiable literals, and 200 valid clauses are removed
17.27/5.55	c (5,4) CSPinCNF Propagation End
17.27/5.55	c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35
17.27/5.55	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.27/5.55	c (5,5) Simplify CSPinCNF Begin
17.66/5.63	c (5,5) Simplify CSPinCNF End
17.66/5.63	c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35
17.66/5.63	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.66/5.63	c (5,5) Calculate Precise Domain Begin
17.66/5.67	c (5,5) 0 values are removed by re-calculation
17.66/5.67	c (5,5) Calculate Precise Domain End
17.66/5.67	c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35
17.66/5.67	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.66/5.67	c (5,5) CSPinCNF to SatSolver Begin
20.70/6.76	c (6,6) 3396 (10 %) CSP clauses are encoded (28359 SAT variables, 208869 SAT clauses)
20.70/6.79	c (6,6) 6791 (20 %) CSP clauses are encoded (28359 SAT variables, 212264 SAT clauses)
20.97/6.83	c (6,6) 10187 (30 %) CSP clauses are encoded (28359 SAT variables, 215660 SAT clauses)
20.97/6.87	c (6,6) 13582 (40 %) CSP clauses are encoded (28359 SAT variables, 219055 SAT clauses)
21.29/6.90	c (6,6) 16977 (50 %) CSP clauses are encoded (28359 SAT variables, 222450 SAT clauses)
21.29/6.92	c (6,6) 20373 (60 %) CSP clauses are encoded (28359 SAT variables, 225846 SAT clauses)
21.29/6.94	c (6,6) 23768 (70 %) CSP clauses are encoded (28359 SAT variables, 229241 SAT clauses)
21.29/6.96	c (6,6) 27164 (80 %) CSP clauses are encoded (28359 SAT variables, 232637 SAT clauses)
21.29/6.98	c (6,6) 30559 (90 %) CSP clauses are encoded (28359 SAT variables, 236032 SAT clauses)
22.50/8.13	c (7,7) 33954 (100 %) CSP clauses are encoded (28359 SAT variables, 599507 SAT clauses)
22.50/8.13	c (7,7) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
22.50/8.13	c (7,7) CSPinCNF to SatSolver End
22.50/8.13	c (7,7) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.09/8.32	c (7,7) STATISTICS2:HOME/instance-4307079-1534196478.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,11497,33954,1156,35,22,11,1156:5;1122:1;1089:3;1056:2;1024:78;992:1;961:5;900:3;870:1;841:5;784:3;756:3;729:3;676:5;650:1;625:3;576:5;552:1;529:3;512:270;506:2;484:3;462:1;441:5;400:3;380:1;361:5;324:8;306:17;289:18;272:12;256:647;240:13;225:18;210:14;196:18;182:17;169:16;156:16;144:18;132:13;128:296;121:38;110:12;100:18;96:68;90:63;81:126;72:74;64:293;63:24;56:73;54:12;49:89;45:36;36:35;32:11;30:1;27:60;25:93;18:48;16:349;9:40;8:1;4:228;2:100,35:10;34:28;33:30;32:24;31:34;30:24;29:30;28:28;27:26;26:32;25:26;24:28;23:30;22:12624;21:34;20:24;19:30;18:76;17:138;16:184;15:138;14:140;13:142;12:272;11:222;10:536;9:1306;8:590;7:514;6:56;5:388;4:72;3:180;2:78238,22:100;3:13600;2:16800;1:3454,11:75;10:270;9:617;8:296;7:221;6:11;5:401;4:1;3:1462;2:100;1:76600,
23.09/8.33	c (7,7) 28359 bool, 599795 clause
23.09/8.33	c (7,7) Export Begin
23.41/8.45	c (7,7) Export to HOME/scop-10131-serial-file.bin
23.41/8.45	c (7,7) Export End
23.41/8.45	c (7,7) Export File Size: 0.12 MB
23.41/8.45	c (7,7) 0,0,4,5,5,5,7,STOP-AFTER(DIMACS)
23.41/8.45	c END-Prog: Mon Aug 13 23:41:26 CEST 2018
23.41/8.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10131-serial-file.bin
23.64/8.98	c (0,0) Read Serial File Begin
23.64/8.98	c (0,0) HOME/scop-10131-serial-file.bin
24.46/9.20	c (0,0) Read Serial File End
24.73/9.21	
24.73/9.21	scop order+glucose-syrup (2018-07-31)
24.73/9.21	(Solving Process)
24.73/9.21	
24.73/9.23	c BEGIN-Prog: Mon Aug 13 23:41:27 CEST 2018
24.73/9.23	c PID: 10154
24.73/9.23	c IP: 172.20.3.139
24.73/9.23	c HOST: node139.alineos.net
24.73/9.24	c (0,0) SatSolver.solve Begin
24.73/9.24	c (0,0) 0 bool, 0 clause
24.73/9.24	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307079-1534196478.xml-scop-10134.cnf
93.45/18.94	c (10,0) c
93.45/18.94	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
93.45/18.94	c (10,0) c
93.45/18.94	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
93.45/18.94	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
93.45/18.94	c (10,0) c ========================================[ Problem Statistics ]===========================================
93.45/18.94	c (10,0) c |                                                                                                       |
93.45/18.94	c (10,0) c |  Number of variables:         28359                                                                   |
93.45/18.94	c (10,0) c |  Number of clauses:          599583                                                                   |
93.45/18.94	c (10,0) c |  Parse time:                   0.21 s                                                                 |
93.45/18.94	c (10,0) c |                                                                                                       |
93.45/18.94	c (10,0) c |  Eliminated clauses:           0.14 Mb                                                                |
93.45/18.94	c (10,0) c |  Simplification time:          0.78 s                                                                 |
93.45/18.94	c (10,0) c |                                                                                                       |
93.45/18.94	c (10,0) c |  Generating clones                                                                                    |
93.45/18.94	c (10,0) c |  all clones generated. Memory = 280.18Mb.                                                             |
93.45/18.94	c (10,0) c ========================================================================================================|
93.45/18.94	c (10,0) c
93.45/18.94	c (10,0) c |-------------------------------------------------------------------------------------------------------|
93.45/18.94	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.45/18.94	c (10,0) c |-------------------------------------------------------------------------------------------------------|
93.45/18.94	c (10,0) c |  0 |    123 |      73499 |      41794 |    28662 |    15706 |     5781 |    33608 |     2086 |  4.020 |
93.45/18.94	c (10,0) c |  1 |    123 |      72770 |      36458 |    33190 |    10367 |     4813 |    34043 |     2138 |  4.020 |
93.45/18.94	c (10,0) c |  2 |    130 |      76132 |      36215 |    37736 |    10111 |     4746 |    34696 |     1836 |  4.020 |
93.45/18.94	c (10,0) c |  3 |    154 |      80874 |      41297 |    35011 |    15196 |     5159 |    34295 |     2275 |  4.020 |
93.45/18.94	c (10,0) c |  4 |    158 |      82857 |      40199 |    38239 |    14109 |     4159 |    34346 |     2221 |  4.020 |
93.45/18.94	c (10,0) c |  5 |    153 |      79547 |      35831 |    37608 |    19628 |     4222 |    35168 |     2254 |  4.020 |
93.45/18.94	c (10,0) c |  6 |    117 |      75732 |      35820 |    36193 |    19613 |     4900 |    34449 |     2214 |  4.020 |
93.45/18.94	c (10,0) c |  7 |    122 |      81284 |      41357 |    35699 |    15253 |     5689 |    33516 |     2377 |  4.020 |
93.45/18.94	c (10,0) c 
93.45/18.94	c (10,0) c synthesis      308976 conflicts   125439337 propagations     8547 conflicts/sec  3469875 propagations/sec
93.45/18.94	c (10,0) c Total Memory so far : 868.21Mb
93.45/18.94	c (10,0) c
93.45/18.94	c (10,0) c |-------------------------------------------------------------------------------------------------------|
93.45/18.94	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.45/18.94	c (10,0) c |-------------------------------------------------------------------------------------------------------|
93.45/18.94	c (10,0) c |  0 |    199 |     117519 |      72647 |    34601 |    19080 |     9059 |    53199 |     3968 |  4.020 |
93.45/18.94	c (10,0) c |  1 |    194 |     118945 |      69498 |    37771 |    15931 |     8195 |    55611 |     4182 |  4.020 |
93.45/18.94	c (10,0) c |  2 |    238 |     124844 |      64916 |    45086 |    26365 |     7220 |    56539 |     3934 |  4.020 |
93.45/18.94	c (10,0) c |  3 |    283 |     130166 |      71421 |    41072 |    17852 |     7999 |    55889 |     4108 |  4.020 |
93.45/18.94	c (10,0) c |  4 |    270 |     132781 |      72299 |    44472 |    18734 |     7641 |    56206 |     4440 |  4.020 |
93.45/18.94	c (10,0) c |  5 |    245 |     124964 |      63395 |    44906 |    24863 |     7245 |    54692 |     3880 |  4.020 |
93.45/18.94	c (10,0) c |  6 |    239 |     124807 |      61498 |    45635 |    22951 |     7502 |    56386 |     4298 |  4.020 |
93.45/18.94	c (10,0) c |  7 |    226 |     136998 |      77481 |    43842 |    23909 |     9032 |    54861 |     4806 |  4.020 |
93.45/18.94	c (10,0) c 
205.11/32.94	c (24,0) c synthesis      553155 conflicts   233483798 propagations     8140 conflicts/sec  3435761 propagations/sec
205.11/32.94	c (24,0) c Total Memory so far : 868.21Mb
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c Try to adapt solver strategies
205.11/32.94	c (24,0) c 
205.11/32.94	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.94	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
205.11/32.94	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.94	c (24,0) c |  0 |    272 |     166220 |     110369 |    37376 |    39202 |    12149 |    73639 |     5538 |  4.020 |
205.11/32.94	c (24,0) c |  1 |    309 |     164784 |      96746 |    45959 |    25579 |    10653 |    73637 |     5730 |  4.020 |
205.11/32.94	c (24,0) c |  2 |    346 |     174324 |      99804 |    48724 |    28625 |    11234 |    75173 |     5521 |  4.020 |
205.11/32.94	c (24,0) c |  3 |    373 |     177702 |     102797 |    46306 |    31621 |    11023 |    75315 |     5970 |  4.020 |
205.11/32.94	c (24,0) c |  4 |    360 |     175008 |      98866 |    49430 |    27693 |     9426 |    76929 |     6250 |  4.020 |
205.11/32.94	c (24,0) c |  5 |    311 |     173343 |      98216 |    49574 |    27047 |    10431 |    75861 |     5945 |  4.020 |
205.11/32.94	c (24,0) c |  6 |    335 |     171650 |      91199 |    50229 |    20023 |    10237 |    76005 |     6206 |  4.020 |
205.11/32.94	c (24,0) c |  7 |    370 |     180848 |     102025 |    49617 |    30851 |    11282 |    72994 |     6623 |  4.020 |
205.11/32.94	c (24,0) c 
205.11/32.94	c (24,0) c synthesis      800027 conflicts   332070816 propagations     8019 conflicts/sec  3328474 propagations/sec
205.11/32.94	c (24,0) c Total Memory so far : 868.21Mb
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c Try to adapt solver strategies
205.11/32.94	c (24,0) c 
205.11/32.94	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c Try to adapt solver strategies
205.11/32.94	c (24,0) c 
205.11/32.94	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c
205.11/32.94	c (24,0) c Try to adapt solver strategies
205.11/32.95	c (24,0) c 
205.11/32.95	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
205.11/32.95	c (24,0) c
205.11/32.95	c (24,0) c
205.11/32.95	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.95	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
205.11/32.95	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.95	c (24,0) c |  0 |    425 |     219914 |     141742 |    43945 |    27553 |    14169 |    93367 |     7452 |  4.020 |
205.11/32.95	c (24,0) c |  1 |    413 |     221551 |     138370 |    49527 |    24192 |    13609 |    93934 |     7715 |  4.020 |
205.11/32.95	c (24,0) c |  2 |    511 |     230203 |     133696 |    53105 |    42308 |    13474 |    93846 |     7243 |  4.020 |
205.11/32.95	c (24,0) c |  3 |    465 |     229417 |     137200 |    50076 |    23018 |    13729 |    93765 |     7883 |  4.020 |
205.11/32.95	c (24,0) c |  4 |    474 |     227887 |     134318 |    54023 |    42934 |    12605 |    93920 |     8264 |  4.020 |
205.11/32.95	c (24,0) c |  5 |    451 |     228682 |     134233 |    53922 |    42857 |    13341 |    93944 |     7887 |  4.020 |
205.11/32.95	c (24,0) c |  6 |    481 |     224847 |     122083 |    55246 |    30701 |    13019 |    94511 |     8333 |  4.020 |
205.11/32.95	c (24,0) c |  7 |    476 |     222119 |     127694 |    52357 |    36311 |    13599 |    93870 |     8278 |  4.020 |
205.11/32.95	c (24,0) c 
205.11/32.95	c (24,0) c synthesis     1069338 conflicts   446988683 propagations     7661 conflicts/sec  3202147 propagations/sec
205.11/32.95	c (24,0) c Total Memory so far : 932.21Mb
205.11/32.95	c (24,0) c
205.11/32.95	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.95	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
205.11/32.95	c (24,0) c |-------------------------------------------------------------------------------------------------------|
205.11/32.95	c (24,0) c |  0 |    502 |     260874 |     170809 |    45974 |    31220 |    16360 |   110472 |     8848 |  4.020 |
205.11/32.95	c (24,0) c |  1 |    500 |     265264 |     167335 |    53641 |    27753 |    15706 |   111093 |     9004 |  4.020 |
205.11/32.95	c (24,0) c |  2 |    604 |     279732 |     169873 |    55466 |    30283 |    16306 |   108100 |     8758 |  4.020 |
205.11/32.95	c (24,0) c |  3 |    548 |     279131 |     172602 |    53699 |    33017 |    16599 |   108056 |     9343 |  4.020 |
300.74/44.93	c (36,0) c |  4 |    582 |     274825 |     165672 |    56954 |    26089 |    14839 |   111429 |     9639 |  4.020 |
300.74/44.93	c (36,0) c |  5 |    546 |     276797 |     166053 |    57409 |    26472 |    15958 |   108377 |     9353 |  4.020 |
300.74/44.93	c (36,0) c |  6 |    636 |     277468 |     155851 |    59549 |    41669 |    15333 |   111278 |     9648 |  4.020 |
300.74/44.93	c (36,0) c |  7 |    564 |     264734 |     158086 |    54527 |    43894 |    15754 |   110102 |    10107 |  4.020 |
300.74/44.93	c (36,0) c 
300.74/44.93	c (36,0) c synthesis     1326281 conflicts   566731225 propagations     7393 conflicts/sec  3159278 propagations/sec
300.74/44.93	c (36,0) c Total Memory so far : 916.13Mb
300.74/44.93	c (36,0) c
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c |  0 |    593 |     297293 |     195600 |    47701 |    28020 |    18269 |   122877 |    10170 |  4.020 |
300.74/44.93	c (36,0) c |  1 |    553 |     296503 |     189039 |    55356 |    49457 |    18049 |   123243 |    10411 |  4.020 |
300.74/44.93	c (36,0) c |  2 |    659 |     308735 |     190504 |    56608 |    50914 |    17297 |   123945 |     9968 |  4.020 |
300.74/44.93	c (36,0) c |  3 |    589 |     313692 |     200120 |    54864 |    32537 |    18692 |   122448 |    10861 |  4.020 |
300.74/44.93	c (36,0) c |  4 |    643 |     306951 |     189449 |    58542 |    49866 |    16266 |   125116 |    11079 |  4.020 |
300.74/44.93	c (36,0) c |  5 |    630 |     310258 |     188573 |    58987 |    48993 |    17629 |   123336 |    10787 |  4.020 |
300.74/44.93	c (36,0) c |  6 |    700 |     313121 |     180001 |    60951 |    40422 |    17152 |   123356 |    10959 |  4.020 |
300.74/44.93	c (36,0) c |  7 |    589 |     302951 |     190230 |    55359 |    50643 |    18115 |   122793 |    11689 |  4.020 |
300.74/44.93	c (36,0) c 
300.74/44.93	c (36,0) c synthesis     1523516 conflicts   651169244 propagations     7213 conflicts/sec  3082919 propagations/sec
300.74/44.93	c (36,0) c Total Memory so far : 1028.00Mb
300.74/44.93	c (36,0) c
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c |  0 |    665 |     336086 |     222901 |    49507 |    55321 |    20168 |   136379 |    11436 |  4.020 |
300.74/44.93	c (36,0) c |  1 |    592 |     333096 |     217965 |    56540 |    50383 |    20140 |   137584 |    11654 |  4.020 |
300.74/44.93	c (36,0) c |  2 |    743 |     352342 |     219434 |    60101 |    51842 |    19435 |   137864 |    11184 |  4.020 |
300.74/44.93	c (36,0) c |  3 |    598 |     361336 |     240852 |    55225 |    42676 |    21389 |   135718 |    11577 |  4.020 |
300.74/44.93	c (36,0) c |  4 |    754 |     345673 |     214349 |    61119 |    46770 |    17457 |   140279 |    12468 |  4.020 |
300.74/44.93	c (36,0) c |  5 |    737 |     344968 |     212073 |    60346 |    44499 |    19299 |   138426 |    12009 |  4.020 |
300.74/44.93	c (36,0) c |  6 |    717 |     353991 |     214821 |    61802 |    47236 |    19741 |   134972 |    12389 |  4.020 |
300.74/44.93	c (36,0) c |  7 |    656 |     336289 |     212953 |    57102 |    45372 |    20126 |   134573 |    12912 |  4.020 |
300.74/44.93	c (36,0) c 
300.74/44.93	c (36,0) c synthesis     1755349 conflicts   740669695 propagations     7223 conflicts/sec  3047537 propagations/sec
300.74/44.93	c (36,0) c Total Memory so far : 934.37Mb
300.74/44.93	c (36,0) c
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
300.74/44.93	c (36,0) c |-------------------------------------------------------------------------------------------------------|
300.74/44.93	c (36,0) c |  0 |    749 |     376279 |     250319 |    51188 |    52141 |    22444 |   151564 |    12878 |  4.020 |
300.74/44.93	c (36,0) c |  1 |    635 |     374646 |     250067 |    58987 |    51889 |    22872 |   151509 |    13109 |  4.020 |
300.74/44.93	c (36,0) c |  2 |    839 |     389164 |     241133 |    62627 |    42950 |    21204 |   153116 |    12474 |  4.020 |
300.74/44.93	c (36,0) c |  3 |    638 |     401851 |     272795 |    55958 |    41430 |    23922 |   149354 |    12768 |  4.020 |
300.74/44.93	c (36,0) c |  4 |    831 |     382513 |     240777 |    62584 |    42606 |    18884 |   155159 |    13793 |  4.020 |
403.57/57.86	c (48,0) c |  5 |    860 |     386119 |     238128 |    62493 |    39942 |    21185 |   152946 |    13129 |  4.020 |
403.57/57.86	c (48,0) c |  6 |    769 |     388996 |     241557 |    62705 |    43374 |    21898 |   148049 |    13704 |  4.020 |
403.57/57.86	c (48,0) c |  7 |    710 |     374129 |     239916 |    59923 |    41745 |    21980 |   150745 |    13991 |  4.020 |
403.57/57.86	c (48,0) c 
403.57/57.86	c (48,0) c synthesis     1974694 conflicts   825489483 propagations     7184 conflicts/sec  3003276 propagations/sec
403.57/57.86	c (48,0) c Total Memory so far : 934.37Mb
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c |-------------------------------------------------------------------------------------------------------|
403.57/57.86	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
403.57/57.86	c (48,0) c |-------------------------------------------------------------------------------------------------------|
403.57/57.86	c (48,0) c |  0 |    784 |     405300 |     273059 |    51898 |    41677 |    24183 |   163441 |    14444 |  4.020 |
403.57/57.86	c (48,0) c |  1 |    679 |     408128 |     274408 |    60385 |    43034 |    25021 |   160637 |    14142 |  4.020 |
403.57/57.86	c (48,0) c |  2 |    921 |     426349 |     267564 |    63968 |    36180 |    22405 |   165131 |    13534 |  4.020 |
403.57/57.86	c (48,0) c |  3 |    712 |     438492 |     297615 |    57307 |    66250 |    25794 |   161807 |    14017 |  4.020 |
403.57/57.86	c (48,0) c |  4 |    889 |     419969 |     270049 |    63780 |    38679 |    21044 |   163653 |    15178 |  4.020 |
403.57/57.86	c (48,0) c |  5 |    936 |     418201 |     261736 |    63510 |    63551 |    22580 |   164756 |    14516 |  4.020 |
403.57/57.86	c (48,0) c |  6 |    839 |     417455 |     261023 |    63905 |    62840 |    23519 |   162334 |    14975 |  4.020 |
403.57/57.86	c (48,0) c |  7 |    773 |     402624 |     259899 |    61158 |    61728 |    23101 |   159300 |    15008 |  4.020 |
403.57/57.86	c (48,0) c 
403.57/57.86	c (48,0) c synthesis     2165355 conflicts   904171073 propagations     7060 conflicts/sec  2948083 propagations/sec
403.57/57.86	c (48,0) c Total Memory so far : 993.64Mb
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c |-------------------------------------------------------------------------------------------------------|
403.57/57.86	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
403.57/57.86	c (48,0) c |-------------------------------------------------------------------------------------------------------|
403.57/57.86	c (48,0) c |  0 |    859 |     446038 |     303678 |    53051 |    36505 |    25736 |   177177 |    15766 |  4.020 |
403.57/57.86	c (48,0) c |  1 |    790 |     449423 |     300332 |    62507 |    68958 |    26266 |   176241 |    15732 |  4.020 |
403.57/57.86	c (48,0) c |  2 |   1010 |     472301 |     300345 |    65378 |    68961 |    24079 |   178720 |    15247 |  4.020 |
403.57/57.86	c (48,0) c |  3 |    814 |     479508 |     324518 |    58931 |    57351 |    27907 |   174609 |    15726 |  4.020 |
403.57/57.86	c (48,0) c |  4 |    992 |     465768 |     301110 |    66403 |    69739 |    23922 |   178959 |    16751 |  4.020 |
403.57/57.86	c (48,0) c |  5 |   1046 |     463073 |     292815 |    64639 |    61432 |    24800 |   177591 |    15871 |  4.020 |
403.57/57.86	c (48,0) c |  6 |    897 |     450811 |     286347 |    65487 |    54961 |    25160 |   177738 |    16135 |  4.020 |
403.57/57.86	c (48,0) c |  7 |    834 |     448018 |     293633 |    62168 |    62254 |    25101 |   177860 |    16269 |  4.020 |
403.57/57.86	c (48,0) c 
403.57/57.86	c (48,0) c synthesis     2402780 conflicts   999526672 propagations     6935 conflicts/sec  2884839 propagations/sec
403.57/57.86	c (48,0) c Total Memory so far : 1092.00Mb
403.57/57.86	c (48,0) c last restart ## conflicts  :  65 252 
403.57/57.86	c (48,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer).
403.57/57.86	c (48,0) c Total Memory so far : 1032.73Mb
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c real time : 48.5976 s
403.57/57.86	c (48,0) c cpu time  : 377.775 s
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
403.57/57.86	c (48,0) c
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) c | Conflicts     |         2579779 |     331787 |     320108 |     321493 |     346533 |     322385 |     310368 |     314765 |     312340 |
403.57/57.86	c (48,0) c | Decisions     |         3931608 |     488917 |     479195 |     500880 |     509233 |     494222 |     489412 |     490320 |     479429 |
403.57/57.86	c (48,0) c | Propagations  |      1072916354 |  131989116 |  131365645 |  138340918 |  138906787 |  133949875 |  130813696 |  136721273 |  130829044 |
403.57/57.86	c (48,0) c | Avg_Trail     |                 |      10974 |      11082 |      10779 |      10813 |      10249 |      10869 |      10593 |      10709 |
403.57/57.86	c (48,0) c | Avg_DL        |                 |         57 |         62 |         60 |         57 |         56 |         60 |         61 |         57 |
403.57/57.86	c (48,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
403.57/57.86	c (48,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) c | Exported      |          215712 |      28089 |      27835 |      25373 |      29882 |      25322 |      26264 |      26672 |      26275 |
403.57/57.86	c (48,0) c | Imported      |         1503937 |     187519 |     185002 |     189140 |     184929 |     190308 |     189424 |     188207 |     189408 |
403.57/57.86	c (48,0) c | Good          |           14146 |       1854 |       1802 |       1756 |       1800 |       1788 |       1712 |       1701 |       1733 |
403.57/57.86	c (48,0) c | Purge         |         1489791 |     185665 |     183200 |     187384 |     183129 |     188520 |     187712 |     186506 |     187675 |
403.57/57.86	c (48,0) c | Promoted      |          135807 |      16600 |      16858 |      16197 |      17045 |      17817 |      16825 |      17046 |      17419 |
403.57/57.86	c (48,0) c | Remove_Imp    |          873476 |     105005 |     106609 |     108611 |     107995 |     108410 |     113700 |     111243 |     111903 |
403.57/57.86	c (48,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) c | Unaries       |                 |          0 |          1 |          2 |          1 |          1 |          1 |          1 |          1 |
403.57/57.86	c (48,0) c | Binaries      |                 |        169 |        216 |        263 |        220 |        235 |        311 |        319 |        290 |
403.57/57.86	c (48,0) c | Glues         |                 |        315 |        415 |        442 |        412 |        485 |        529 |        512 |        509 |
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) c | Orig_Seen     |            10 % |      59449 |      64126 |      66064 |      59694 |      67320 |      65238 |      66835 |      63908 |
403.57/57.86	c (48,0) c | Diff Orig seen|                 |      X     |       4677 |       6615 |        245 |       7871 |       5789 |       7386 |       4459 |
403.57/57.86	c (48,0) c | Hamming       |             9 % |      X     |       2467 |       2569 |       2569 |       3022 |       2375 |       2389 |       2944 |
403.57/57.86	c (48,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
403.57/57.86	c (48,0) 
403.57/57.86	c (48,0) s SATISFIABLE
404.19/57.91	c (49,0) SatSolver.solve End
404.19/57.91	c (49,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
404.19/57.91	c (49,0) Show results Begin
404.19/57.99	s SATISFIABLE
404.42/58.01	v <instantiation>
404.42/58.01	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] 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]</list>
404.42/58.01	v     <values>21 12 14 3 14 15 8 5 19 9 17 12 18 7 14 5 13 5 1 4 18 12 17 5 8 5 0 5 1 4 2 4 1 5 0 16 1 12 14 7 15 18 7 14 4 11 5 0 9 0 15 1 4 14 12 1 16 19 9 19 5 20 12 14 12 18 16 1 12 0 5 1 16 19 4 1 5 14 7 13 5 14 3 19 4 10 5 2 7 19 5 10 15 0 6 14 5 1 4 13 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 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 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1</values>
404.42/58.01	v </instantiation>
404.42/58.01	c (49,0) Show results End
404.42/58.01	c (49,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
404.42/58.01	c (49,0) 49,49,STOP-AFTER(ALL)
404.42/58.01	c END-Prog: Mon Aug 13 23:42:16 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 (8680 MiB free)
  memory of node 1: 16384 MiB (9917 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100151 s]*
/proc/loadavg: 7.93 8.25 7.95 3/200 10153
/proc/meminfo: memFree=18950128/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237210922 115843072 349 33554432000 4194304 5098028 140731182625136 140731182622392 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 349 296 221 0 87 0
[pid=10134] ppid=10131 vsize=27313900 memory=107376 CPUtime=0.1 cores=0-7
/proc/10134/stat : 10134 (java) S 10131 10131 9608 0 -1 1077944320 6835 0 0 0 8 2 0 0 20 0 20 0 237210922 27969433600 26844 33554432000 4194304 4196468 140732267158352 140732267140896 140259346296567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
/proc/10134/statm: 6828475 26844 2740 1 0 6790935 0
[pid=10134/tid=10135] ppid=10131 vsize=27313900 memory=7751990666727431578 CPUtime=0.08 cores=0-7
/proc/10134/task/10135/stat : 10135 (java) R 10131 10131 9608 0 -1 4202560 4982 0 0 0 7 1 0 0 20 0 20 0 237210922 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259318122896 140259346318493 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10136] ppid=10131 vsize=27313900 memory=732370704172407781 CPUtime=0 cores=0-7
/proc/10134/task/10136/stat : 10136 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259350538640 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10137] ppid=10131 vsize=27313900 memory=140565834954368 CPUtime=0 cores=0-7
/proc/10134/task/10137/stat : 10137 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259164694800 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10138] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10138/stat : 10138 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259163642512 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10139] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10139/stat : 10139 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259162589712 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10140] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10140/stat : 10140 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259161537424 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10141] ppid=10131 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10134/task/10141/stat : 10141 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259160484624 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10142] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10142/stat : 10142 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259159432336 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10143] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10143/stat : 10143 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 26909 33554432000 4194304 4196468 140732267158352 140259158379536 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10144] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10144/stat : 10144 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210926 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257935038576 140259346307714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10145] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10145/stat : 10145 (java) S 10131 10131 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 26909 33554432000 4194304 4196468 140732267158352 140256921772832 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10146] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10146/stat : 10146 (java) S 10131 10131 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 26909 33554432000 4194304 4196468 140732267158352 140256787551344 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10147] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10147/stat : 10147 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 26909 33554432000 4194304 4196468 140732267158352 140256413046864 140259346315163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10148] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10148/stat : 10148 (java) R 10131 10131 9608 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257933986416 140259346308502 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10149] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10149/stat : 10149 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257932933616 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10150] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10150/stat : 10150 (java) R 10131 10131 9608 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257931881328 140259346317914 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10151] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10151/stat : 10151 (java) R 10131 10131 9608 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257930828528 140259325190280 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10152] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10152/stat : 10152 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 26909 33554432000 4194304 4196468 140732267158352 140255915141472 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10153] ppid=10131 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10134/task/10153/stat : 10153 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 26909 33554432000 4194304 4196468 140732267158352 140257929775408 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 108772 KiB

[startup+0.210392 s]*
/proc/loadavg: 7.45 8.15 7.92 2/200 10153
/proc/meminfo: memFree=18933388/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237210922 115843072 349 33554432000 4194304 5098028 140731182625136 140731182622392 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 349 296 221 0 87 0
[pid=10134] ppid=10131 vsize=27313900 memory=121496 CPUtime=0.25 cores=0-7
/proc/10134/stat : 10134 (java) S 10131 10131 9608 0 -1 1077944320 10677 0 0 0 22 3 0 0 20 0 20 0 237210922 27969433600 30374 33554432000 4194304 4196468 140732267158352 140732267140896 140259346296567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
/proc/10134/statm: 6828475 30374 2836 1 0 6790935 0
[pid=10134/tid=10135] ppid=10131 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/10134/task/10135/stat : 10135 (java) R 10131 10131 9608 0 -1 4202560 8566 0 0 0 17 2 0 0 20 0 20 0 237210922 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259318109440 140259346318493 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10136] ppid=10131 vsize=27313900 memory=281131524617976 CPUtime=0 cores=0-7
/proc/10134/task/10136/stat : 10136 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259350538640 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10137] ppid=10131 vsize=27313900 memory=140565834954368 CPUtime=0 cores=0-7
/proc/10134/task/10137/stat : 10137 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259164694800 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10138] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10138/stat : 10138 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259163642512 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10139] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10139/stat : 10139 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259162589712 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10140] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10140/stat : 10140 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259161537424 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10141] ppid=10131 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10134/task/10141/stat : 10141 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259160484624 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10142] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10142/stat : 10142 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259159432336 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10143] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10143/stat : 10143 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 30439 33554432000 4194304 4196468 140732267158352 140259158379536 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10144] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10144/stat : 10144 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210926 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257935038576 140259346307714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10145] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10145/stat : 10145 (java) S 10131 10131 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 30439 33554432000 4194304 4196468 140732267158352 140256921772832 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10146] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10146/stat : 10146 (java) S 10131 10131 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 30439 33554432000 4194304 4196468 140732267158352 140256787551344 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10147] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10147/stat : 10147 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 30439 33554432000 4194304 4196468 140732267158352 140256413046864 140259346315163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10148] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10148/stat : 10148 (java) S 10131 10131 9608 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257933986416 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10149] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10149/stat : 10149 (java) S 10131 10131 9608 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257932933616 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10150] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10150/stat : 10150 (java) S 10131 10131 9608 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257931881328 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10151] ppid=10131 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/10134/task/10151/stat : 10151 (java) S 10131 10131 9608 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 237210929 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257930828528 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10152] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10152/stat : 10152 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 30439 33554432000 4194304 4196468 140732267158352 140255915141472 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10153] ppid=10131 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10134/task/10153/stat : 10153 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 30439 33554432000 4194304 4196468 140732267158352 140257929775408 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122892 KiB

[startup+0.310234 s]*
/proc/loadavg: 7.45 8.15 7.92 2/200 10153
/proc/meminfo: memFree=18930348/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237210922 115843072 349 33554432000 4194304 5098028 140731182625136 140731182622392 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 349 296 221 0 87 0
[pid=10134] ppid=10131 vsize=27313900 memory=125552 CPUtime=0.41 cores=0-7
/proc/10134/stat : 10134 (java) S 10131 10131 9608 0 -1 1077944320 11217 0 0 0 38 3 0 0 20 0 20 0 237210922 27969433600 31388 33554432000 4194304 4196468 140732267158352 140732267140896 140259346296567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
/proc/10134/statm: 6828475 31388 2967 1 0 6790935 0
[pid=10134/tid=10135] ppid=10131 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10134/task/10135/stat : 10135 (java) R 10131 10131 9608 0 -1 4202560 8945 0 0 0 27 2 0 0 20 0 20 0 237210922 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259318092016 140259327860127 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10136] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10136/stat : 10136 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259350538640 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10137] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10137/stat : 10137 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259164694800 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10138] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10138/stat : 10138 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259163642512 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10139] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10139/stat : 10139 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259162589712 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10140] ppid=10131 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/10134/task/10140/stat : 10140 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259161537424 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10141] ppid=10131 vsize=27313900 memory=140565689758639 CPUtime=0 cores=0-7
/proc/10134/task/10141/stat : 10141 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259160484624 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10142] ppid=10131 vsize=27313900 memory=140565689760944 CPUtime=0 cores=0-7
/proc/10134/task/10142/stat : 10142 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259159432336 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10143] ppid=10131 vsize=27313900 memory=140565689763248 CPUtime=0 cores=0-7
/proc/10134/task/10143/stat : 10143 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210925 27969433600 31388 33554432000 4194304 4196468 140732267158352 140259158379536 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10144] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10144/stat : 10144 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237210926 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257935038576 140259346307714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10145] ppid=10131 vsize=27313900 memory=281131379533456 CPUtime=0 cores=0-7
/proc/10134/task/10145/stat : 10145 (java) S 10131 10131 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 31388 33554432000 4194304 4196468 140732267158352 140256921772832 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10146] ppid=10131 vsize=27313900 memory=281131379540368 CPUtime=0 cores=0-7
/proc/10134/task/10146/stat : 10146 (java) S 10131 10131 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237210927 27969433600 31388 33554432000 4194304 4196468 140732267158352 140256787551344 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10147] ppid=10131 vsize=27313900 memory=281131379481648 CPUtime=0 cores=0-7
/proc/10134/task/10147/stat : 10147 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 31388 33554432000 4194304 4196468 140732267158352 140256413046864 140259346315163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10148] ppid=10131 vsize=27313900 memory=281131379554192 CPUtime=0.02 cores=0-7
/proc/10134/task/10148/stat : 10148 (java) S 10131 10131 9608 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 237210929 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257933986416 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10149] ppid=10131 vsize=27313900 memory=281131379561104 CPUtime=0 cores=0-7
/proc/10134/task/10149/stat : 10149 (java) S 10131 10131 9608 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257932933616 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10150] ppid=10131 vsize=27313900 memory=281131379558800 CPUtime=0 cores=0-7
/proc/10134/task/10150/stat : 10150 (java) S 10131 10131 9608 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 237210929 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257931881328 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10151] ppid=10131 vsize=27313900 memory=281131379574960 CPUtime=0.07 cores=0-7
/proc/10134/task/10151/stat : 10151 (java) S 10131 10131 9608 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 20 0 237210929 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257930828528 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10152] ppid=10131 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10134/task/10152/stat : 10152 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 31388 33554432000 4194304 4196468 140732267158352 140255915141472 140259346306773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10153] ppid=10131 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10134/task/10153/stat : 10153 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210930 27969433600 31388 33554432000 4194304 4196468 140732267158352 140257929775408 140259346307714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126948 KiB

[startup+0.700996 s]
/proc/loadavg: 7.45 8.15 7.92 2/200 10153
/proc/meminfo: memFree=18906356/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237210922 115843072 349 33554432000 4194304 5098028 140731182625136 140731182622392 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 349 296 221 0 87 0
[pid=10134] ppid=10131 vsize=27322220 memory=163008 CPUtime=1 cores=0-7
/proc/10134/stat : 10134 (java) S 10131 10131 9608 0 -1 1077944320 18305 0 0 0 95 5 0 0 20 0 20 0 237210922 27977953280 40752 33554432000 4194304 4196468 140732267158352 140732267140896 140259346296567 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
/proc/10134/statm: 6830555 40752 3127 1 0 6791959 0
[pid=10134/tid=10135] ppid=10131 vsize=27322220 memory=281131379869824 CPUtime=0.67 cores=0-7
/proc/10134/task/10135/stat : 10135 (java) R 10131 10131 9608 0 -1 4202560 15477 0 0 0 63 4 0 0 20 0 20 0 237210922 27977953280 40752 33554432000 4194304 4196468 140732267158352 140259318131040 140259346318493 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10136] ppid=10131 vsize=27322220 memory=1704 CPUtime=0 cores=0-7
/proc/10134/task/10136/stat : 10136 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27977953280 40752 33554432000 4194304 4196468 140732267158352 140259350538640 140259346306773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10137] ppid=10131 vsize=27322220 memory=796 CPUtime=0 cores=0-7
/proc/10134/task/10137/stat : 10137 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27977953280 40752 33554432000 4194304 4196468 140732267158352 140259164694800 140259346306773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0
[pid=10134/tid=10138] ppid=10131 vsize=27322220 memory=5408 CPUtime=0 cores=0-7
/proc/10134/task/10138/stat : 10138 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237210925 27977953280 40752 33554432000 4194304 4196468 140732267158352 140259163642512 140259346306773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18505728 140732267160552 140732267160877 140732267160877 140732267163599 0

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

/proc/10154/task/10166/stat : 10166 (java) S 10131 10131 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237211775 8615837696 30124 33554432000 4194304 4196468 140729908707984 140265377486448 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10167] ppid=10131 vsize=8413904 memory=840 CPUtime=0 cores=0-7
/proc/10154/task/10167/stat : 10167 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140265002981968 140267044833179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10168] ppid=10131 vsize=8413904 memory=1692 CPUtime=0.08 cores=0-7
/proc/10154/task/10168/stat : 10168 (java) S 10131 10131 9608 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266405628016 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10169] ppid=10131 vsize=8413904 memory=916 CPUtime=0.1 cores=0-7
/proc/10154/task/10169/stat : 10169 (java) S 10131 10131 9608 0 -1 1077944384 642 0 0 0 10 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266404575216 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10170] ppid=10131 vsize=8413904 memory=5772 CPUtime=0.09 cores=0-7
/proc/10154/task/10170/stat : 10170 (java) S 10131 10131 9608 0 -1 1077944384 628 0 0 0 9 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266403522928 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10171] ppid=10131 vsize=8413904 memory=4104 CPUtime=0.23 cores=0-7
/proc/10154/task/10171/stat : 10171 (java) S 10131 10131 9608 0 -1 1077944384 779 0 0 0 23 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266402470128 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10172] ppid=10131 vsize=8413904 memory=4128 CPUtime=0 cores=0-7
/proc/10154/task/10172/stat : 10172 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237211778 8615837696 30124 33554432000 4194304 4196468 140729908707984 140264505076576 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10173] ppid=10131 vsize=8413904 memory=64048 CPUtime=0.02 cores=0-7
/proc/10154/task/10173/stat : 10173 (java) R 10131 10131 9608 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 237211778 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266401418032 140267044825730 0 4 2 25189581 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10175] ppid=10131 vsize=8413904 memory=1240 CPUtime=0 cores=0-7
/proc/10154/task/10175/stat : 10175 (java) S 10131 10131 9608 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266393610048 140267044839193 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10177] ppid=10131 vsize=8413904 memory=5408 CPUtime=0.01 cores=0-7
/proc/10154/task/10177/stat : 10177 (java) S 10131 10131 9608 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140263833976240 140267044836509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10178] ppid=10131 vsize=8413904 memory=876 CPUtime=0 cores=0-7
/proc/10154/task/10178/stat : 10178 (java) S 10131 10131 9608 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140264102411568 140267044836509 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10179] ppid=10131 vsize=8413904 memory=10096 CPUtime=0 cores=0-7
/proc/10154/task/10179/stat : 10179 (java) S 10131 10131 9608 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 237211850 8615837696 30124 33554432000 4194304 4196468 140729908707984 140263565548832 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
Current children cumulated CPU time: 395.6 s
Current children cumulated vsize: 9514168 KiB
Current children cumulated memory: 939748 KiB

[startup+57.6024 s]
/proc/loadavg: 7.25 7.93 7.85 9/213 10187
/proc/meminfo: memFree=18061508/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1472 CPUtime=23.64 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 589 47040 0 0 0 0 2288 76 20 0 1 0 237210922 115843072 368 33554432000 4194304 5098028 140731182625136 140731182621880 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 368 311 221 0 87 0
[pid=10154] ppid=10131 vsize=8413904 memory=120496 CPUtime=1.37 cores=0-7
/proc/10154/stat : 10154 (java) S 10131 10131 9608 0 -1 1077944320 18392 0 0 0 129 8 0 0 20 0 24 0 237211771 8615837696 30124 33554432000 4194304 4196468 140729908707984 140729908690528 140267044814583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
/proc/10154/statm: 2103476 30124 3156 1 0 2064875 0
[pid=10174] ppid=10154 vsize=1118208 memory=858744 CPUtime=376.97 cores=0-7
/proc/10174/stat : 10174 (glucose-syrup) S 10154 10131 9608 0 -1 1077944320 451570 0 0 0 37571 126 0 0 20 0 9 0 237211848 1145044992 214686 33554432000 4194304 4373367 140728171665088 140728171663632 140631286024834 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
/proc/10174/statm: 279552 214686 388 44 0 275240 0
[pid=10174/tid=10180] ppid=10154 vsize=1118208 memory=1692 CPUtime=47.11 cores=0-7
/proc/10174/task/10180/stat : 10180 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 55036 0 0 0 4700 11 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631260196112 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10181] ppid=10154 vsize=1118208 memory=1472 CPUtime=47.09 cores=0-7
/proc/10174/task/10181/stat : 10181 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 47055 0 0 0 4690 19 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631251803280 4272280 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10182] ppid=10154 vsize=1118208 memory=120496 CPUtime=47.12 cores=0-7
/proc/10174/task/10182/stat : 10182 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 52334 0 0 0 4696 16 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631243410800 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10183] ppid=10154 vsize=1118208 memory=1472 CPUtime=46.3 cores=0-7
/proc/10174/task/10183/stat : 10183 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 52956 0 0 0 4618 12 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631235018000 4264174 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10184] ppid=10154 vsize=1118208 memory=120496 CPUtime=47.09 cores=0-7
/proc/10174/task/10184/stat : 10184 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 47528 0 0 0 4695 14 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631208893712 4271597 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10185] ppid=10154 vsize=1118208 memory=10832 CPUtime=46.85 cores=0-7
/proc/10174/task/10185/stat : 10185 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 49940 0 0 0 4674 11 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631200501104 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10186] ppid=10154 vsize=1118208 memory=4616 CPUtime=47.09 cores=0-7
/proc/10174/task/10186/stat : 10186 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 50660 0 0 0 4694 15 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631192108176 4258958 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10174/tid=10187] ppid=10154 vsize=1118208 memory=1428 CPUtime=47.09 cores=0-7
/proc/10174/task/10187/stat : 10187 (glucose-syrup) R 10154 10131 9608 0 -1 4202560 49341 0 0 0 4693 16 0 0 20 0 9 0 237211963 1145044992 214686 33554432000 4194304 4373367 140728171665088 140631183715600 4271619 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 30142464 140728171668560 140728171668692 140728171668692 140728171671495 0
[pid=10154/tid=10155] ppid=10131 vsize=8413904 memory=15880 CPUtime=0.78 cores=0-7
/proc/10154/task/10155/stat : 10155 (java) S 10131 10131 9608 0 -1 1077944384 14597 0 0 0 73 5 0 0 20 0 24 0 237211772 8615837696 30124 33554432000 4194304 4196468 140729908707984 140267016654736 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10156] ppid=10131 vsize=8413904 memory=16228 CPUtime=0 cores=0-7
/proc/10154/task/10156/stat : 10156 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140267049057168 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10157] ppid=10131 vsize=8413904 memory=35748 CPUtime=0 cores=0-7
/proc/10154/task/10157/stat : 10157 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266529524496 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10158] ppid=10131 vsize=8413904 memory=4048 CPUtime=0 cores=0-7
/proc/10154/task/10158/stat : 10158 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266528472208 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10159] ppid=10131 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10154/task/10159/stat : 10159 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266527419408 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10160] ppid=10131 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10154/task/10160/stat : 10160 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266526366096 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10161] ppid=10131 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10154/task/10161/stat : 10161 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266525313296 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10162] ppid=10131 vsize=8413904 memory=6481 CPUtime=0 cores=0-7
/proc/10154/task/10162/stat : 10162 (java) S 10131 10131 9608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266524261008 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10163] ppid=10131 vsize=8413904 memory=1487 CPUtime=0 cores=0-7
/proc/10154/task/10163/stat : 10163 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237211773 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266523208208 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10164] ppid=10131 vsize=8413904 memory=1 CPUtime=0 cores=0-7
/proc/10154/task/10164/stat : 10164 (java) S 10131 10131 9608 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237211774 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266406681200 140267044825730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10165] ppid=10131 vsize=8413904 memory=400 CPUtime=0 cores=0-7
/proc/10154/task/10165/stat : 10165 (java) S 10131 10131 9608 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237211775 8615837696 30124 33554432000 4194304 4196468 140729908707984 140265511707936 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10166] ppid=10131 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10154/task/10166/stat : 10166 (java) S 10131 10131 9608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237211775 8615837696 30124 33554432000 4194304 4196468 140729908707984 140265377486448 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10167] ppid=10131 vsize=8413904 memory=64 CPUtime=0 cores=0-7
/proc/10154/task/10167/stat : 10167 (java) S 10131 10131 9608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140265002981968 140267044833179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10168] ppid=10131 vsize=8413904 memory=338 CPUtime=0.08 cores=0-7
/proc/10154/task/10168/stat : 10168 (java) S 10131 10131 9608 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266405628016 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10169] ppid=10131 vsize=8413904 memory=1108 CPUtime=0.1 cores=0-7
/proc/10154/task/10169/stat : 10169 (java) S 10131 10131 9608 0 -1 1077944384 642 0 0 0 10 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266404575216 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10170] ppid=10131 vsize=8413904 memory=379 CPUtime=0.09 cores=0-7
/proc/10154/task/10170/stat : 10170 (java) S 10131 10131 9608 0 -1 1077944384 628 0 0 0 9 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266403522928 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10171] ppid=10131 vsize=8413904 memory=140565690747999 CPUtime=0.23 cores=0-7
/proc/10154/task/10171/stat : 10171 (java) S 10131 10131 9608 0 -1 1077944384 779 0 0 0 23 0 0 0 20 0 24 0 237211777 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266402470128 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10172] ppid=10131 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10154/task/10172/stat : 10172 (java) S 10131 10131 9608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237211778 8615837696 30124 33554432000 4194304 4196468 140729908707984 140264505076576 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10173] ppid=10131 vsize=8413904 memory=817776 CPUtime=0.02 cores=0-7
/proc/10154/task/10173/stat : 10173 (java) S 10131 10131 9608 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 237211778 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266401418032 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10175] ppid=10131 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/10154/task/10175/stat : 10175 (java) S 10131 10131 9608 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140266393610048 140267044839193 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10177] ppid=10131 vsize=8413904 memory=1472 CPUtime=0.01 cores=0-7
/proc/10154/task/10177/stat : 10177 (java) S 10131 10131 9608 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140263833976240 140267044836509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10178] ppid=10131 vsize=8413904 memory=120496 CPUtime=0 cores=0-7
/proc/10154/task/10178/stat : 10178 (java) S 10131 10131 9608 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237211848 8615837696 30124 33554432000 4194304 4196468 140729908707984 140264102411568 140267044836509 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10179] ppid=10131 vsize=8413904 memory=33 CPUtime=0 cores=0-7
/proc/10154/task/10179/stat : 10179 (java) S 10131 10131 9608 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 237211850 8615837696 30124 33554432000 4194304 4196468 140729908707984 140263565548832 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
Current children cumulated CPU time: 401.98 s
Current children cumulated vsize: 9645240 KiB
Current children cumulated memory: 980712 KiB

[startup+58.001 s]*
/proc/loadavg: 7.25 7.93 7.85 4/202 10187
/proc/meminfo: memFree=18905444/32770624 swapFree=67108860/67108860
[pid=10131] ppid=10128 vsize=113128 memory=1472 CPUtime=23.64 cores=0-7
/proc/10131/stat : 10131 (scop.sh) S 10128 10131 9608 0 -1 4202496 589 47040 0 0 0 0 2288 76 20 0 1 0 237210922 115843072 368 33554432000 4194304 5098028 140731182625136 140731182621880 140380145410684 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25595904 140731182629922 140731182630147 140731182630147 140731182632909 0
/proc/10131/statm: 28282 368 311 221 0 87 0
[pid=10154] ppid=10131 vsize=8282828 memory=134736 CPUtime=380.78 cores=0-7
/proc/10154/stat : 10154 (java) S 10131 10131 9608 0 -1 1077944320 19379 451721 0 0 163 8 37778 129 20 0 22 0 237211771 8481615872 33684 33554432000 4194304 4196468 140729908707984 140729908690528 140267044814583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
/proc/10154/statm: 2070707 33684 3174 1 0 2032106 0
[pid=10154/tid=10155] ppid=10131 vsize=8282828 memory=6791534058613427641 CPUtime=379.95 cores=0-7
/proc/10154/task/10155/stat : 10155 (java) R 10131 10131 9608 0 -1 4202560 14820 451721 0 0 83 5 37778 129 20 0 22 0 237211772 8481615872 33684 33554432000 4194304 4196468 140729908707984 140267016652352 140267044826518 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10156] ppid=10131 vsize=8282828 memory=0 CPUtime=379.07 cores=0-7
/proc/10154/task/10156/stat : 10156 (java) S 10131 10131 9608 0 -1 1077944384 1 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140267049057168 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10157] ppid=10131 vsize=8282828 memory=0 CPUtime=379.07 cores=0-7
/proc/10154/task/10157/stat : 10157 (java) S 10131 10131 9608 0 -1 1077944384 2 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266529524496 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10158] ppid=10131 vsize=8282828 memory=0 CPUtime=379.07 cores=0-7
/proc/10154/task/10158/stat : 10158 (java) S 10131 10131 9608 0 -1 1077944384 2 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266528472208 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10159] ppid=10131 vsize=8282828 memory=-7003737579269690708 CPUtime=379.07 cores=0-7
/proc/10154/task/10159/stat : 10159 (java) S 10131 10131 9608 0 -1 1077944384 1 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266527419408 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10160] ppid=10131 vsize=8282828 memory=120496 CPUtime=379.07 cores=0-7
/proc/10154/task/10160/stat : 10160 (java) S 10131 10131 9608 0 -1 1077944384 2 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266526366096 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10161] ppid=10131 vsize=8282828 memory=854444 CPUtime=379.07 cores=0-7
/proc/10154/task/10161/stat : 10161 (java) S 10131 10131 9608 0 -1 1077944384 1 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266525313296 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10162] ppid=10131 vsize=8282828 memory=1408 CPUtime=379.07 cores=0-7
/proc/10154/task/10162/stat : 10162 (java) S 10131 10131 9608 0 -1 1077944384 2 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266524261008 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10163] ppid=10131 vsize=8282828 memory=3392 CPUtime=379.07 cores=0-7
/proc/10154/task/10163/stat : 10163 (java) S 10131 10131 9608 0 -1 1077944384 3 451721 0 0 0 0 37778 129 20 0 22 0 237211773 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266523208208 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10164] ppid=10131 vsize=8282828 memory=1472 CPUtime=379.07 cores=0-7
/proc/10154/task/10164/stat : 10164 (java) S 10131 10131 9608 0 -1 1077944384 8 451721 0 0 0 0 37778 129 20 0 22 0 237211774 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266406681200 140267044825730 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10165] ppid=10131 vsize=8282828 memory=120496 CPUtime=379.07 cores=0-7
/proc/10154/task/10165/stat : 10165 (java) S 10131 10131 9608 0 -1 1077944384 13 451721 0 0 0 0 37778 129 20 0 22 0 237211775 8481615872 33684 33554432000 4194304 4196468 140729908707984 140265511707936 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10166] ppid=10131 vsize=8282828 memory=789656 CPUtime=379.07 cores=0-7
/proc/10154/task/10166/stat : 10166 (java) S 10131 10131 9608 0 -1 1077944384 21 451721 0 0 0 0 37778 129 20 0 22 0 237211775 8481615872 33684 33554432000 4194304 4196468 140729908707984 140265377486448 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10167] ppid=10131 vsize=8282828 memory=-5155631293088427397 CPUtime=379.07 cores=0-7
/proc/10154/task/10167/stat : 10167 (java) S 10131 10131 9608 0 -1 1077944384 1 451721 0 0 0 0 37778 129 20 0 22 0 237211777 8481615872 33684 33554432000 4194304 4196468 140729908707984 140265002981968 140267044833179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10168] ppid=10131 vsize=8282828 memory=-7003737579269690708 CPUtime=379.18 cores=0-7
/proc/10154/task/10168/stat : 10168 (java) R 10131 10131 9608 0 -1 4202560 339 451721 0 0 11 0 37778 129 20 0 22 0 237211777 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266405618992 140267030837273 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10169] ppid=10131 vsize=8282828 memory=35748 CPUtime=379.21 cores=0-7
/proc/10154/task/10169/stat : 10169 (java) S 10131 10131 9608 0 -1 1077944384 669 451721 0 0 14 0 37778 129 20 0 22 0 237211777 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266404575216 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10170] ppid=10131 vsize=8282828 memory=4048 CPUtime=379.2 cores=0-7
/proc/10154/task/10170/stat : 10170 (java) S 10131 10131 9608 0 -1 1077944384 900 451721 0 0 13 0 37778 129 20 0 22 0 237211777 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266403522928 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10171] ppid=10131 vsize=8282828 memory=1796 CPUtime=379.38 cores=0-7
/proc/10154/task/10171/stat : 10171 (java) S 10131 10131 9608 0 -1 1077944384 1176 451721 0 0 31 0 37778 129 20 0 22 0 237211777 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266402470128 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10172] ppid=10131 vsize=8282828 memory=1472 CPUtime=379.07 cores=0-7
/proc/10154/task/10172/stat : 10172 (java) S 10131 10131 9608 0 -1 1077944384 3 451721 0 0 0 0 37778 129 20 0 22 0 237211778 8481615872 33684 33554432000 4194304 4196468 140729908707984 140264505076576 140267044824789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10173] ppid=10131 vsize=8282828 memory=4128 CPUtime=379.09 cores=0-7
/proc/10154/task/10173/stat : 10173 (java) S 10131 10131 9608 0 -1 1077944384 5 451721 0 0 0 2 37778 129 20 0 22 0 237211778 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266401418032 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10175] ppid=10131 vsize=8282828 memory=64048 CPUtime=379.07 cores=0-7
/proc/10154/task/10175/stat : 10175 (java) S 10131 10131 9608 0 -1 1077944384 24 451721 0 0 0 0 37778 129 20 0 22 0 237211848 8481615872 33684 33554432000 4194304 4196468 140729908707984 140266393609232 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
[pid=10154/tid=10179] ppid=10131 vsize=8282828 memory=1240 CPUtime=379.07 cores=0-7
/proc/10154/task/10179/stat : 10179 (java) S 10131 10131 9608 0 -1 1077944384 7 451721 0 0 0 0 37778 129 20 0 22 0 237211850 8481615872 33684 33554432000 4194304 4196468 140729908707984 140263565550640 140267044825730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33943552 140729908716721 140729908716845 140729908716845 140729908719567 0
Current children cumulated CPU time: 404.42 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 136208 KiB

Child status: 0
Real time (s): 58.0313
CPU time (s): 404.49
CPU user time (s): 402.331
CPU system time (s): 2.15929
CPU usage (%): 697.02
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 3718996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 402.331
system time used= 2.15929
maximum resident set size= 3722856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36247
involuntary context switches= 3914


# summary of solver processes directly reported to runsolver:
#   pid: 10131
#   total CPU time (s): 404.49
#   total CPU user time (s): 402.331
#   total CPU system time (s): 2.15929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52641 second user time and 0.809512 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 23:41:18
IDJOB=4307079
IDBENCH=141457
IDSOLVER=2788
FILE ID=node139/4307079-1534196478
RUNJOBID= node139-1534191431-9635
PBS_JOBID= 21037994
Free space on /tmp= 28496 MiB

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

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

MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487
RANDOM SEED=735623427

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19045312 kB
MemAvailable:   31902588 kB
Buffers:          246524 kB
Cached:         12676172 kB
SwapCached:            0 kB
Active:          6134828 kB
Inactive:        6842168 kB
Active(anon):       4768 kB
Inactive(anon):   102032 kB
Active(file):    6130060 kB
Inactive(file):  6740136 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8444 kB
Writeback:             0 kB
AnonPages:         71316 kB
Mapped:            63324 kB
Shmem:             49804 kB
Slab:             442840 kB
SReclaimable:     415540 kB
SUnreclaim:        27300 kB
KernelStack:        3536 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

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