Trace number 4307090

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 74.5643 30.2067

General information on the benchmark

NameCarSequencing/
CarSequencing-80-02_c18.xml
MD5SUM201da62bda966dccc44cd0c6ff0d4af7
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 benchmark19.9124
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1431
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree75
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":3}, {"degree":75,"count":57}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1230},{"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-14872-serial-file.bin HOME/instance-4307090-1534195386.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 23:23:07 CEST 2018
0.65/0.56	c PID: 14875
0.65/0.56	c IP: 172.20.3.136
0.65/0.56	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.27/1.53	c (0,0) Parsing End
3.27/1.54	c (1,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1431 ctr, max domain size 25
3.27/1.54	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.54	c (1,0) Constraint Name Generate Begin
3.27/1.57	c (1,0) Ctr:HOME/instance-4307090-1534195386.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.27/1.57	c (1,0) Constraint Name Generate End
3.27/1.57	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.57	c (1,0) CSP to CSPinCNF Begin
11.99/4.63	c (4,3) translated 144 (10%) constraints
12.43/5.09	c (4,4) translated 287 (20%) constraints
12.65/5.11	c (4,4) translated 430 (30%) constraints
12.65/5.13	c (4,4) translated 573 (40%) constraints
12.65/5.16	c (4,4) translated 716 (50%) constraints
12.65/5.19	c (4,4) translated 859 (60%) constraints
13.05/5.20	c (4,4) translated 1002 (70%) constraints
13.05/5.22	c (4,4) translated 1145 (80%) constraints
14.80/6.67	c (6,5) translated 1288 (90%) constraints
15.81/7.69	c (7,7) translated 1431 (100%) constraints
17.33/8.23	c (7,7) STATISTICS1:HOME/instance-4307090-1534195386.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57255,9223372036854775807,25,25,200,9223372036854775807:267;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:2;18014398509481984:2;4503599627370496:2;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:1;137438953472:1;17179869184:1;16:392;4:396;2:199,25:19600;2:160019,25:200;3:29600;2:26200;1:1255,200:55;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:2;55:2;53:2;50:3;47:1;45:2;44:1;41:1;40:1;38:1;35:1;5:392;3:396;2:199;1:146000;0:200,17689:55;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:4;1764:1
17.33/8.23	c (7,7) ==========================================
17.33/8.23	c (7,7) Order
17.33/8.23	c (7,7) ==========================================
19.71/9.00	c (8,8) translated 5726 (10%) constraints
20.66/9.23	c (8,8) translated 11451 (20%) constraints
20.96/9.32	c (8,8) translated 17177 (30%) constraints
21.07/9.41	c (8,8) translated 22902 (40%) constraints
21.17/9.50	c (8,8) translated 28628 (50%) constraints
21.17/9.59	c (9,8) translated 34353 (60%) constraints
21.27/9.68	c (9,8) translated 40079 (70%) constraints
21.37/9.77	c (9,9) translated 45804 (80%) constraints
21.47/9.85	c (9,9) translated 51530 (90%) constraints
26.77/11.91	c (11,11) translated 57255 (100%) constraints
26.77/11.93	c (11,11) CSP to CSPinCNF End
26.77/11.94	c (11,11) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77442 ctr, max domain size 68
26.77/11.94	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.77/11.94	c (11,11) CSPinCNF Propagation Begin
28.31/12.47	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.31/12.47	c (11,11) CSPinCNF Propagation End
28.31/12.48	c (11,11) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68
28.31/12.48	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.31/12.48	c (11,11) Simplify CSPinCNF Begin
29.76/12.76	c (12,11) Simplify CSPinCNF End
29.76/12.77	c (12,11) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68
29.76/12.77	c (12,11) Heap : 275 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.76/12.77	c (12,11) Calculate Precise Domain Begin
29.97/12.82	c (12,12) 0 values are removed by re-calculation
29.97/12.82	c (12,12) Calculate Precise Domain End
29.97/12.82	c (12,12) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68
29.97/12.82	c (12,12) Heap : 275 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
29.97/12.82	c (12,12) CSPinCNF to SatSolver Begin
33.01/14.85	c (14,14) 7705 (10 %) CSP clauses are encoded (93882 SAT variables, 567731 SAT clauses)
33.33/14.91	c (14,14) 15409 (20 %) CSP clauses are encoded (93882 SAT variables, 575435 SAT clauses)
33.33/14.98	c (14,14) 23113 (30 %) CSP clauses are encoded (93882 SAT variables, 583139 SAT clauses)
33.59/15.03	c (14,14) 30817 (40 %) CSP clauses are encoded (93882 SAT variables, 590843 SAT clauses)
33.59/15.07	c (14,14) 38521 (50 %) CSP clauses are encoded (93882 SAT variables, 598547 SAT clauses)
33.70/15.11	c (14,14) 46226 (60 %) CSP clauses are encoded (93882 SAT variables, 606252 SAT clauses)
33.70/15.15	c (14,14) 53930 (70 %) CSP clauses are encoded (93882 SAT variables, 613956 SAT clauses)
33.70/15.19	c (14,14) 61634 (80 %) CSP clauses are encoded (93882 SAT variables, 621660 SAT clauses)
34.40/15.60	c (15,14) 69338 (90 %) CSP clauses are encoded (93882 SAT variables, 765729 SAT clauses)
39.15/20.19	c (19,18) 77042 (100 %) CSP clauses are encoded (93882 SAT variables, 2440881 SAT clauses)
39.15/20.19	c (19,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
39.15/20.19	c (19,18) CSPinCNF to SatSolver End
39.15/20.19	c (19,18) Heap : 983 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
40.20/20.52	c (19,19) STATISTICS2:HOME/instance-4307090-1534195386.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25555,77042,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:3;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:300;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:28;650:15;625:16;600:16;576:16;552:19;529:14;512:734;506:18;484:16;462:15;441:20;420:14;400:24;380:16;361:15;342:18;324:35;306:93;289:71;272:69;256:1870;252:8;240:69;238:16;234:8;225:71;221:16;210:71;196:86;182:75;169:85;162:4;156:71;153:8;144:75;136:8;132:68;128:1150;126:12;121:75;119:24;110:66;100:66;96:281;90:548;85:24;81:489;72:307;68:24;64:1149;56:287;54:12;51:24;49:309;36:16;34:32;25:305;16:978;9:24;4:428;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:42;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:138;26:184;25:28938;24:140;23:142;22:136;21:150;20:168;19:132;18:1072;17:962;16:590;15:568;14:646;13:642;12:1124;11:568;10:1468;9:3622;8:2336;7:1822;5:1232;4:108;3:108;2:179763,24:200;3:29200;2:36200;1:11442,11:284;10:734;9:1793;8:1150;7:857;5:1235;3:5190;2:199;1:164800,
40.20/20.53	c (19,19) 93882 bool, 2441636 clause
40.20/20.53	c (19,19) Export Begin
40.37/20.68	c (20,19) Export to HOME/scop-14872-serial-file.bin
40.37/20.68	c (20,19) Export End
40.37/20.68	c (20,19) Export File Size: 0.24 MB
40.37/20.68	c (20,19) 1,1,11,11,12,12,19,STOP-AFTER(DIMACS)
40.37/20.68	c END-Prog: Mon Aug 13 23:23:27 CEST 2018
0.00/20.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14872-serial-file.bin
41.26/21.25	c (0,0) Read Serial File Begin
41.26/21.25	c (0,0) HOME/scop-14872-serial-file.bin
41.58/21.49	c (0,0) Read Serial File End
41.88/21.50	
41.88/21.50	scop order+glucose-syrup (2018-07-31)
41.88/21.50	(Solving Process)
41.88/21.50	
41.88/21.53	c BEGIN-Prog: Mon Aug 13 23:23:28 CEST 2018
41.88/21.53	c PID: 14895
41.88/21.53	c IP: 172.20.3.136
41.88/21.53	c HOST: node136.alineos.net
41.88/21.53	c (0,0) SatSolver.solve Begin
41.88/21.53	c (0,0) 0 bool, 0 clause
41.88/21.53	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307090-1534195386.xml-scop-14875.cnf
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
73.60/29.94	c (8,0) c 8 solvers engines and 1 companion as a blackboard created.
73.60/29.94	c (8,0) c ========================================[ Problem Statistics ]===========================================
73.60/29.94	c (8,0) c |                                                                                                       |
73.60/29.94	c (8,0) c |  Number of variables:         93882                                                                   |
73.60/29.94	c (8,0) c |  Number of clauses:         2441372                                                                   |
73.60/29.94	c (8,0) c |  Parse time:                   0.82 s                                                                 |
73.60/29.94	c (8,0) c |                                                                                                       |
73.60/29.94	c (8,0) c |  Eliminated clauses:           0.33 Mb                                                                |
73.60/29.94	c (8,0) c |  Simplification time:          3.51 s                                                                 |
73.60/29.94	c (8,0) c |                                                                                                       |
73.60/29.94	c (8,0) c |  Generating clones                                                                                    |
73.60/29.94	c (8,0) c |  all clones generated. Memory = 1041.18Mb.                                                             |
73.60/29.94	c (8,0) c ========================================================================================================|
73.60/29.94	c (8,0) c last restart ## conflicts  :  102 2275 
73.60/29.94	c (8,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer).
73.60/29.94	c (8,0) c Total Memory so far : 1661.36Mb
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c real time : 8.3867 s
73.60/29.94	c (8,0) c cpu time  : 30.299 s
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
73.60/29.94	c (8,0) c
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) c | Conflicts     |           59284 |       6901 |       5638 |       6010 |       7725 |       5674 |      11428 |       8887 |       7021 |
73.60/29.94	c (8,0) c | Decisions     |          452459 |      46035 |      56818 |      57724 |      58276 |      56086 |      47613 |      67585 |      62322 |
73.60/29.94	c (8,0) c | Propagations  |        68555743 |    7079060 |    7958752 |    8407940 |    9055166 |    8553272 |    9160328 |    8923385 |    9417840 |
73.60/29.94	c (8,0) c | Avg_Trail     |                 |      25728 |      24105 |      28385 |      22390 |      27091 |      19102 |      18553 |      24438 |
73.60/29.94	c (8,0) c | Avg_DL        |                 |        356 |        203 |        253 |        176 |        246 |        129 |        141 |        196 |
73.60/29.94	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.60/29.94	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) c | Exported      |            4107 |        562 |        175 |        227 |        532 |        273 |       1404 |        503 |        431 |
73.60/29.94	c (8,0) c | Imported      |           27032 |       3225 |       3104 |       3880 |       3542 |       3833 |       2432 |       3567 |       3449 |
73.60/29.94	c (8,0) c | Good          |            5483 |        686 |        649 |        696 |        690 |        676 |        722 |        697 |        667 |
73.60/29.94	c (8,0) c | Purge         |           21549 |       2539 |       2455 |       3184 |       2852 |       3157 |       1710 |       2870 |       2782 |
73.60/29.94	c (8,0) c | Promoted      |              51 |          5 |          2 |         14 |         11 |          5 |          2 |          8 |          4 |
73.60/29.94	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.60/29.94	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.60/29.94	c (8,0) c | Binaries      |                 |         79 |        111 |        104 |        101 |        123 |         63 |         95 |        124 |
73.60/29.94	c (8,0) c | Glues         |                 |         93 |        154 |        110 |        151 |        143 |         91 |        165 |        153 |
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) c | Orig_Seen     |             0 % |      15478 |      20621 |      20879 |      22862 |      21734 |      18537 |      20497 |      21193 |
73.60/29.94	c (8,0) c | Diff Orig seen|                 | -     3059 |       2084 |       2342 |       4325 |       3197 |      X     |       1960 |       2656 |
73.60/29.94	c (8,0) c | Hamming       |             9 % |       9060 |       8647 |       8095 |       8339 |       9500 |      X     |       8456 |       8626 |
73.60/29.94	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.60/29.94	c (8,0) 
73.60/29.94	c (8,0) s SATISFIABLE
42.26/30.06	c (8,0) SatSolver.solve End
42.26/30.06	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
42.26/30.06	c (8,0) Show results Begin
74.29/30.15	s SATISFIABLE
74.29/30.18	v <instantiation>
74.29/30.18	v     <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list>
74.29/30.18	v     <values>11 2 8 18 20 23 11 23 8 12 11 6 20 23 14 2 19 2 11 23 8 15 20 16 20 12 4 20 12 10 8 20 15 8 1 14 20 20 14 1 20 12 11 2 5 14 2 12 20 1 11 8 7 11 5 2 14 20 23 17 15 20 20 14 20 24 11 5 20 14 2 12 9 20 23 22 7 12 9 23 20 4 12 12 2 20 15 19 20 7 11 23 8 4 12 2 9 20 24 21 8 5 4 20 12 8 11 5 2 12 2 8 15 20 12 13 2 12 15 20 2 12 12 11 1 20 14 2 20 12 4 5 2 20 14 7 20 1 11 12 7 20 10 20 8 23 8 10 20 12 2 20 0 20 20 0 20 6 14 23 20 4 12 23 20 13 24 22 2 14 1 20 20 0 20 5 0 20 12 2 13 23 8 21 12 20 3 12 23 22 7 5 14 2 20 12 15 12 22 10 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 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 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1</values>
74.29/30.18	v </instantiation>
74.29/30.18	c (9,0) Show results End
74.29/30.18	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
74.29/30.18	c (9,0) 8,9,STOP-AFTER(ALL)
74.29/30.18	c END-Prog: Mon Aug 13 23:23:37 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 (13684 MiB free)
  memory of node 1: 16384 MiB (10443 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100188 s]*
/proc/loadavg: 8.13 8.20 7.19 3/200 14894
/proc/meminfo: memFree=24612396/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237101810 115843072 349 33554432000 4194304 5098028 140725712557392 140725712554648 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 349 296 221 0 87 0
[pid=14875] ppid=14872 vsize=27313900 memory=109228 CPUtime=0.1 cores=0-7
/proc/14875/stat : 14875 (java) S 14872 14872 13663 0 -1 1077944320 6797 0 0 0 8 2 0 0 20 0 20 0 237101811 27969433600 27307 33554432000 4194304 4196468 140721007891456 140721007874000 139865350061815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
/proc/14875/statm: 6828475 27307 2741 1 0 6790935 0
[pid=14875/tid=14876] ppid=14872 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14875/task/14876/stat : 14876 (java) R 14872 14872 13663 0 -1 4202560 4919 0 0 0 6 2 0 0 20 0 20 0 237101811 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865321888144 139865334142302 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14877] ppid=14872 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14875/task/14877/stat : 14877 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865354304272 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14878] ppid=14872 vsize=27313900 memory=140574675748480 CPUtime=0 cores=0-7
/proc/14875/task/14878/stat : 14878 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865168460688 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14879] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14879/stat : 14879 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865167408144 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14880] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14880/stat : 14880 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865166355600 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14881] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14881/stat : 14881 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865165302032 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14882] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14882/stat : 14882 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865164249488 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14883] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14883/stat : 14883 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865163196944 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14884] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14884/stat : 14884 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 27372 33554432000 4194304 4196468 140721007891456 139865162144400 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14885] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14885/stat : 14885 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863401630192 139865350072962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14886] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14886/stat : 14886 (java) S 14872 14872 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863328286112 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14887] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14887/stat : 14887 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101816 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863059850736 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14888] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14888/stat : 14888 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139862685342416 139865350080411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14889] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14889/stat : 14889 (java) S 14872 14872 13663 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863400577008 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14890] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14890/stat : 14890 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863399524464 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14891] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14891/stat : 14891 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863398471920 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14892] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14892/stat : 14892 (java) S 14872 14872 13663 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863397419376 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14893] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14893/stat : 14893 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 27379 33554432000 4194304 4196468 140721007891456 139862187436768 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14894] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14894/stat : 14894 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101819 27969433600 27379 33554432000 4194304 4196468 140721007891456 139863194065840 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110624 KiB

[startup+0.209817 s]*
/proc/loadavg: 8.13 8.20 7.19 2/200 14894
/proc/meminfo: memFree=24593364/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237101810 115843072 349 33554432000 4194304 5098028 140725712557392 140725712554648 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 349 296 221 0 87 0
[pid=14875] ppid=14872 vsize=27313900 memory=123880 CPUtime=0.24 cores=0-7
/proc/14875/stat : 14875 (java) S 14872 14872 13663 0 -1 1077944320 10671 0 0 0 20 4 0 0 20 0 20 0 237101811 27969433600 30970 33554432000 4194304 4196468 140721007891456 140721007874000 139865350061815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
/proc/14875/statm: 6828475 30970 2894 1 0 6790935 0
[pid=14875/tid=14876] ppid=14872 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14875/task/14876/stat : 14876 (java) R 14872 14872 13663 0 -1 4202560 8571 0 0 0 16 3 0 0 20 0 20 0 237101811 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865321870560 139865342298942 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14877] ppid=14872 vsize=27313900 memory=329 CPUtime=0 cores=0-7
/proc/14875/task/14877/stat : 14877 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865354304272 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14878] ppid=14872 vsize=27313900 memory=140574675762427 CPUtime=0 cores=0-7
/proc/14875/task/14878/stat : 14878 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865168460688 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14879] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14879/stat : 14879 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865167408144 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14880] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14880/stat : 14880 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865166355600 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14881] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14881/stat : 14881 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865165302032 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14882] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14882/stat : 14882 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865164249488 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14883] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14883/stat : 14883 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865163196944 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14884] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14884/stat : 14884 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 30970 33554432000 4194304 4196468 140721007891456 139865162144400 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14885] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14885/stat : 14885 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863401630192 139865350072962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14886] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14886/stat : 14886 (java) S 14872 14872 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863328286112 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14887] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14887/stat : 14887 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101816 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863059850736 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14888] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14888/stat : 14888 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139862685342416 139865350080411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14889] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14889/stat : 14889 (java) S 14872 14872 13663 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863400577008 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14890] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14890/stat : 14890 (java) S 14872 14872 13663 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863399524464 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14891] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14891/stat : 14891 (java) S 14872 14872 13663 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863398471920 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14892] ppid=14872 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/14875/task/14892/stat : 14892 (java) S 14872 14872 13663 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863397419376 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14893] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14893/stat : 14893 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 30970 33554432000 4194304 4196468 140721007891456 139862187436768 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14894] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14894/stat : 14894 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101819 27969433600 30970 33554432000 4194304 4196468 140721007891456 139863194065840 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125276 KiB

[startup+0.309374 s]*
/proc/loadavg: 8.13 8.20 7.19 2/200 14894
/proc/meminfo: memFree=24590564/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237101810 115843072 349 33554432000 4194304 5098028 140725712557392 140725712554648 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 349 296 221 0 87 0
[pid=14875] ppid=14872 vsize=27313900 memory=127652 CPUtime=0.41 cores=0-7
/proc/14875/stat : 14875 (java) S 14872 14872 13663 0 -1 1077944320 11222 0 0 0 37 4 0 0 20 0 20 0 237101811 27969433600 31913 33554432000 4194304 4196468 140721007891456 140721007874000 139865350061815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
/proc/14875/statm: 6828475 31913 2972 1 0 6790935 0
[pid=14875/tid=14876] ppid=14872 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14875/task/14876/stat : 14876 (java) R 14872 14872 13663 0 -1 4202560 8953 0 0 0 25 4 0 0 20 0 20 0 237101811 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865321857264 139865330337679 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14877] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14877/stat : 14877 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865354304272 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14878] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14878/stat : 14878 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865168460688 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14879] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14879/stat : 14879 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865167408144 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14880] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14880/stat : 14880 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865166355600 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14881] ppid=14872 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/14875/task/14881/stat : 14881 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865165302032 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14882] ppid=14872 vsize=27313900 memory=140574548128687 CPUtime=0 cores=0-7
/proc/14875/task/14882/stat : 14882 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865164249488 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14883] ppid=14872 vsize=27313900 memory=140574548130992 CPUtime=0 cores=0-7
/proc/14875/task/14883/stat : 14883 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865163196944 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14884] ppid=14872 vsize=27313900 memory=140574548133296 CPUtime=0 cores=0-7
/proc/14875/task/14884/stat : 14884 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101814 27969433600 31913 33554432000 4194304 4196468 140721007891456 139865162144400 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14885] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14885/stat : 14885 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863401630192 139865350072962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14886] ppid=14872 vsize=27313900 memory=281149096273552 CPUtime=0 cores=0-7
/proc/14875/task/14886/stat : 14886 (java) S 14872 14872 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237101815 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863328286112 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14887] ppid=14872 vsize=27313900 memory=281149096280464 CPUtime=0 cores=0-7
/proc/14875/task/14887/stat : 14887 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237101816 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863059850736 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14888] ppid=14872 vsize=27313900 memory=281149096221712 CPUtime=0 cores=0-7
/proc/14875/task/14888/stat : 14888 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139862685342416 139865350080411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14889] ppid=14872 vsize=27313900 memory=281149096294288 CPUtime=0.01 cores=0-7
/proc/14875/task/14889/stat : 14889 (java) S 14872 14872 13663 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863400577008 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14890] ppid=14872 vsize=27313900 memory=281149096301200 CPUtime=0 cores=0-7
/proc/14875/task/14890/stat : 14890 (java) S 14872 14872 13663 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863399524464 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14891] ppid=14872 vsize=27313900 memory=281149096298896 CPUtime=0.02 cores=0-7
/proc/14875/task/14891/stat : 14891 (java) S 14872 14872 13663 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863398471920 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14892] ppid=14872 vsize=27313900 memory=281149096315056 CPUtime=0.07 cores=0-7
/proc/14875/task/14892/stat : 14892 (java) S 14872 14872 13663 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863397419376 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14893] ppid=14872 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14893/stat : 14893 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237101818 27969433600 31913 33554432000 4194304 4196468 140721007891456 139862187436768 139865350072021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14894] ppid=14872 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14875/task/14894/stat : 14894 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101819 27969433600 31913 33554432000 4194304 4196468 140721007891456 139863194065840 139865350072962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129048 KiB

[startup+0.700933 s]
/proc/loadavg: 8.13 8.20 7.19 2/200 14894
/proc/meminfo: memFree=24566504/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237101810 115843072 349 33554432000 4194304 5098028 140725712557392 140725712554648 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 349 296 221 0 87 0
[pid=14875] ppid=14872 vsize=27320172 memory=163536 CPUtime=0.93 cores=0-7
/proc/14875/stat : 14875 (java) S 14872 14872 13663 0 -1 1077944320 17865 0 0 0 86 7 0 0 20 0 20 0 237101811 27975856128 40884 33554432000 4194304 4196468 140721007891456 140721007874000 139865350061815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
/proc/14875/statm: 6830043 40884 3127 1 0 6791447 0
[pid=14875/tid=14876] ppid=14872 vsize=27320172 memory=281149096672944 CPUtime=0.64 cores=0-7
/proc/14875/task/14876/stat : 14876 (java) R 14872 14872 13663 0 -1 4202560 15190 0 0 0 58 6 0 0 20 0 20 0 237101811 27975856128 40884 33554432000 4194304 4196468 140721007891456 139865321896336 139865350083741 0 4 2 25189581 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14877] ppid=14872 vsize=27320172 memory=140574548337520 CPUtime=0 cores=0-7
/proc/14875/task/14877/stat : 14877 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27975856128 40884 33554432000 4194304 4196468 140721007891456 139865354304272 139865350072021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14878] ppid=14872 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/14875/task/14878/stat : 14878 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27975856128 40884 33554432000 4194304 4196468 140721007891456 139865168460688 139865350072021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0
[pid=14875/tid=14879] ppid=14872 vsize=27320172 memory=1020 CPUtime=0 cores=0-7
/proc/14875/task/14879/stat : 14879 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237101813 27975856128 40884 33554432000 4194304 4196468 140721007891456 139865167408144 139865350072021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7643136 140721007895528 140721007895853 140721007895853 140721007898575 0

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

/proc/14895/task/14914/stat : 14914 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103893 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628246383024 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14916] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14916/stat : 14916 (java) S 14872 14872 13663 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628238574784 140628956864281 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14918] ppid=14872 vsize=8413904 memory=-4075877051373423739 CPUtime=0 cores=0-7
/proc/14895/task/14918/stat : 14918 (java) S 14872 14872 13663 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140625819189040 140628956861597 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14919] ppid=14872 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/14895/task/14919/stat : 14919 (java) S 14872 14872 13663 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140626087624624 140628956861597 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14920] ppid=14872 vsize=8413904 memory=140574548371457 CPUtime=0 cores=0-7
/proc/14895/task/14920/stat : 14920 (java) S 14872 14872 13663 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237103968 8615837696 31442 33554432000 4194304 4196468 140735147194672 140625550761632 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
Current children cumulated CPU time: 64.84 s
Current children cumulated vsize: 10225704 KiB
Current children cumulated memory: 1254692 KiB

[startup+29.6104 s]
/proc/loadavg: 5.83 7.64 7.03 9/213 14928
/proc/meminfo: memFree=23396540/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1472 CPUtime=40.68 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 590 49349 0 2 0 0 3886 182 20 0 1 0 237101810 115843072 368 33554432000 4194304 5098028 140725712557392 140725712554136 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 368 311 221 0 87 0
[pid=14895] ppid=14872 vsize=8413904 memory=125768 CPUtime=1.43 cores=0-7
/proc/14895/stat : 14895 (java) S 14872 14872 13663 0 -1 1077944320 19205 0 0 0 131 12 0 0 20 0 24 0 237103884 8615837696 31442 33554432000 4194304 4196468 140735147194672 140735147177216 140628956839671 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
/proc/14895/statm: 2103476 31442 3159 1 0 2064875 0
[pid=14915] ppid=14895 vsize=1700700 memory=1130980 CPUtime=29.16 cores=0-7
/proc/14915/stat : 14915 (glucose-syrup) S 14895 14872 13663 0 -1 1077944320 495927 0 0 0 2772 144 0 0 20 0 9 0 237103966 1741516800 282745 33554432000 4194304 4373367 140729598422032 140729598420576 139728042191490 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
/proc/14915/statm: 425175 282745 385 44 0 420863 0
[pid=14915/tid=14921] ppid=14895 vsize=1700700 memory=8039887049847965099 CPUtime=3.01 cores=0-7
/proc/14915/task/14921/stat : 14921 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 35483 0 0 0 284 17 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727995882696 139728027552647 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14922] ppid=14895 vsize=1700700 memory=1500 CPUtime=3 cores=0-7
/proc/14915/task/14922/stat : 14922 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 32396 0 0 0 278 22 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727987489672 4271769 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14923] ppid=14895 vsize=1700700 memory=844 CPUtime=3.02 cores=0-7
/proc/14915/task/14923/stat : 14923 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 34155 0 0 0 282 20 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727979097456 4271619 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14924] ppid=14895 vsize=1700700 memory=3880 CPUtime=3.02 cores=0-7
/proc/14915/task/14924/stat : 14924 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 34895 0 0 0 295 7 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727548107544 4271914 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14925] ppid=14895 vsize=1700700 memory=2672 CPUtime=2.99 cores=0-7
/proc/14915/task/14925/stat : 14925 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 32371 0 0 0 281 18 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727539714856 4271914 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14926] ppid=14895 vsize=1700700 memory=1256 CPUtime=3.03 cores=0-7
/proc/14915/task/14926/stat : 14926 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 30551 0 0 0 297 6 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727531322248 4271619 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14927] ppid=14895 vsize=1700700 memory=10424 CPUtime=3.02 cores=0-7
/proc/14915/task/14927/stat : 14927 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 33448 0 0 0 294 8 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727522929544 4271958 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14915/tid=14928] ppid=14895 vsize=1700700 memory=1600 CPUtime=3.02 cores=0-7
/proc/14915/task/14928/stat : 14928 (glucose-syrup) R 14895 14872 13663 0 -1 4202560 31756 0 0 0 294 8 0 0 20 0 9 0 237104463 1741516800 282745 33554432000 4194304 4373367 140729598422032 139727514536840 4271897 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 34996224 140729598428240 140729598428372 140729598428372 140729598431175 0
[pid=14895/tid=14896] ppid=14872 vsize=8413904 memory=1136 CPUtime=0.81 cores=0-7
/proc/14895/task/14896/stat : 14896 (java) S 14872 14872 13663 0 -1 1077944384 15605 0 0 0 72 9 0 0 20 0 24 0 237103884 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628928679824 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14897] ppid=14872 vsize=8413904 memory=1808 CPUtime=0 cores=0-7
/proc/14895/task/14897/stat : 14897 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628961081616 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14898] ppid=14872 vsize=8413904 memory=1020 CPUtime=0 cores=0-7
/proc/14895/task/14898/stat : 14898 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628775238032 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14899] ppid=14872 vsize=8413904 memory=3752 CPUtime=0 cores=0-7
/proc/14895/task/14899/stat : 14899 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628774185488 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14900] ppid=14872 vsize=8413904 memory=2372 CPUtime=0 cores=0-7
/proc/14895/task/14900/stat : 14900 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628773132944 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14901] ppid=14872 vsize=8413904 memory=7156609311619180370 CPUtime=0 cores=0-7
/proc/14895/task/14901/stat : 14901 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628439235344 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14902] ppid=14872 vsize=8413904 memory=7085680916056926290 CPUtime=0 cores=0-7
/proc/14895/task/14902/stat : 14902 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628438182800 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14903] ppid=14872 vsize=8413904 memory=7301854999444875600 CPUtime=0 cores=0-7
/proc/14895/task/14903/stat : 14903 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628437130256 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14904] ppid=14872 vsize=8413904 memory=281149096194376 CPUtime=0 cores=0-7
/proc/14895/task/14904/stat : 14904 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628436077712 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14905] ppid=14872 vsize=8413904 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/14895/task/14905/stat : 14905 (java) S 14872 14872 13663 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237103887 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628251645936 140628956850818 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14906] ppid=14872 vsize=8413904 memory=-6948614817169703622 CPUtime=0 cores=0-7
/proc/14895/task/14906/stat : 14906 (java) S 14872 14872 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237103887 8615837696 31442 33554432000 4194304 4196468 140735147194672 140627631137696 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14907] ppid=14872 vsize=8413904 memory=-3252517613199061085 CPUtime=0 cores=0-7
/proc/14895/task/14907/stat : 14907 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103888 8615837696 31442 33554432000 4194304 4196468 140735147194672 140627362702320 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14908] ppid=14872 vsize=8413904 memory=-7674914008656224160 CPUtime=0 cores=0-7
/proc/14895/task/14908/stat : 14908 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103890 8615837696 31442 33554432000 4194304 4196468 140735147194672 140626988194000 140628956858267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14909] ppid=14872 vsize=8413904 memory=-4695052241013923951 CPUtime=0.12 cores=0-7
/proc/14895/task/14909/stat : 14909 (java) S 14872 14872 13663 0 -1 1077944384 896 0 0 0 12 0 0 0 20 0 24 0 237103892 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628250593776 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14910] ppid=14872 vsize=8413904 memory=-8096454439705354400 CPUtime=0.1 cores=0-7
/proc/14895/task/14910/stat : 14910 (java) S 14872 14872 13663 0 -1 1077944384 393 0 0 0 10 0 0 0 20 0 24 0 237103892 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628249541232 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14911] ppid=14872 vsize=8413904 memory=2236 CPUtime=0.12 cores=0-7
/proc/14895/task/14911/stat : 14911 (java) S 14872 14872 13663 0 -1 1077944384 293 0 0 0 12 0 0 0 20 0 24 0 237103892 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628248488688 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14912] ppid=14872 vsize=8413904 memory=1880 CPUtime=0.23 cores=0-7
/proc/14895/task/14912/stat : 14912 (java) S 14872 14872 13663 0 -1 1077944384 612 0 0 0 23 0 0 0 20 0 24 0 237103893 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628247436144 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14913] ppid=14872 vsize=8413904 memory=7528 CPUtime=0 cores=0-7
/proc/14895/task/14913/stat : 14913 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103893 8615837696 31442 33554432000 4194304 4196468 140735147194672 140626490288352 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14914] ppid=14872 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/14895/task/14914/stat : 14914 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103893 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628246383024 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14916] ppid=14872 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/14895/task/14916/stat : 14916 (java) S 14872 14872 13663 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140628238574784 140628956864281 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14918] ppid=14872 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/14895/task/14918/stat : 14918 (java) S 14872 14872 13663 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140625819189040 140628956861597 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14919] ppid=14872 vsize=8413904 memory=4136 CPUtime=0 cores=0-7
/proc/14895/task/14919/stat : 14919 (java) S 14872 14872 13663 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 31442 33554432000 4194304 4196468 140735147194672 140626087624624 140628956861597 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14920] ppid=14872 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/14895/task/14920/stat : 14920 (java) S 14872 14872 13663 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237103968 8615837696 31442 33554432000 4194304 4196468 140735147194672 140625550761632 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
Current children cumulated CPU time: 71.27 s
Current children cumulated vsize: 10227732 KiB
Current children cumulated memory: 1258220 KiB

[startup+30.0014 s]*
/proc/loadavg: 5.83 7.64 7.03 3/205 14928
/proc/meminfo: memFree=23711508/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1472 CPUtime=40.68 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 590 49349 0 2 0 0 3886 182 20 0 1 0 237101810 115843072 368 33554432000 4194304 5098028 140725712557392 140725712554136 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 368 311 221 0 87 0
[pid=14895] ppid=14872 vsize=8413904 memory=142440 CPUtime=1.58 cores=0-7
/proc/14895/stat : 14895 (java) S 14872 14872 13663 0 -1 1077944320 19781 0 0 0 145 13 0 0 20 0 24 0 237103884 8615837696 35610 33554432000 4194304 4196468 140735147194672 140735147177216 140628956839671 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
/proc/14895/statm: 2103476 35610 3171 1 0 2064875 0
[pid=14895/tid=14896] ppid=14872 vsize=8413904 memory=140574548718320 CPUtime=0.81 cores=0-7
/proc/14895/task/14896/stat : 14896 (java) S 14872 14872 13663 0 -1 1077944384 15605 0 0 0 72 9 0 0 20 0 24 0 237103884 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628928679824 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14897] ppid=14872 vsize=8413904 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14895/task/14897/stat : 14897 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628961081616 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14898] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14898/stat : 14898 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628775238032 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14899] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14899/stat : 14899 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628774185488 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14900] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14900/stat : 14900 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628773132944 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14901] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14901/stat : 14901 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628439235344 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14902] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14902/stat : 14902 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628438182800 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14903] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14903/stat : 14903 (java) S 14872 14872 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628437130256 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14904] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14904/stat : 14904 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103885 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628436077712 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14905] ppid=14872 vsize=8413904 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/14895/task/14905/stat : 14905 (java) S 14872 14872 13663 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237103887 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628251645936 140628956850818 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14906] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14906/stat : 14906 (java) S 14872 14872 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237103887 8615837696 35610 33554432000 4194304 4196468 140735147194672 140627631137696 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14907] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14907/stat : 14907 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103888 8615837696 35610 33554432000 4194304 4196468 140735147194672 140627362702320 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14908] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14908/stat : 14908 (java) S 14872 14872 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237103890 8615837696 35610 33554432000 4194304 4196468 140735147194672 140626988194000 140628956858267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14909] ppid=14872 vsize=8413904 memory=0 CPUtime=0.14 cores=0-7
/proc/14895/task/14909/stat : 14909 (java) S 14872 14872 13663 0 -1 1077944384 933 0 0 0 14 0 0 0 20 0 24 0 237103892 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628250593776 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14910] ppid=14872 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/14895/task/14910/stat : 14910 (java) S 14872 14872 13663 0 -1 1077944384 397 0 0 0 11 0 0 0 20 0 24 0 237103892 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628249541232 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14911] ppid=14872 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/14895/task/14911/stat : 14911 (java) S 14872 14872 13663 0 -1 1077944384 297 0 0 0 13 0 0 0 20 0 24 0 237103892 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628248488688 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14912] ppid=14872 vsize=8413904 memory=0 CPUtime=0.25 cores=0-7
/proc/14895/task/14912/stat : 14912 (java) S 14872 14872 13663 0 -1 1077944384 1097 0 0 0 25 0 0 0 20 0 24 0 237103893 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628247436144 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14913] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14913/stat : 14913 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103893 8615837696 35610 33554432000 4194304 4196468 140735147194672 140626490288352 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14914] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14914/stat : 14914 (java) S 14872 14872 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237103893 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628246383024 140628956850818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14916] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14916/stat : 14916 (java) S 14872 14872 13663 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 35610 33554432000 4194304 4196468 140735147194672 140628238574784 140628956864281 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14918] ppid=14872 vsize=8413904 memory=0 CPUtime=0.05 cores=0-7
/proc/14895/task/14918/stat : 14918 (java) R 14872 14872 13663 0 -1 4202560 53 0 0 0 5 0 0 0 20 0 24 0 237103966 8615837696 35610 33554432000 4194304 4196468 140735147194672 140625819194104 140628942907790 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14919] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14919/stat : 14919 (java) S 14872 14872 13663 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237103966 8615837696 35610 33554432000 4194304 4196468 140735147194672 140626087624624 140628956861597 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
[pid=14895/tid=14920] ppid=14872 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14895/task/14920/stat : 14920 (java) S 14872 14872 13663 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237103968 8615837696 35610 33554432000 4194304 4196468 140735147194672 140625550761632 140628956849877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33595392 140735147201713 140735147201837 140735147201837 140735147204559 0
Current children cumulated CPU time: 42.26 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 143912 KiB

[startup+30.201 s]
/proc/loadavg: 5.83 7.64 7.03 3/205 14928
/proc/meminfo: memFree=23711508/32770624 swapFree=67108172/67108860
[pid=14872] ppid=14869 vsize=113128 memory=1472 CPUtime=40.68 cores=0-7
/proc/14872/stat : 14872 (scop.sh) S 14869 14872 13663 0 -1 4202496 590 49349 0 2 0 0 3886 182 20 0 1 0 237101810 115843072 368 33554432000 4194304 5098028 140725712557392 140725712554136 140716205515388 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14139392 140725712561186 140725712561411 140725712561411 140725712564173 0
/proc/14872/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 40.68 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 30.2067
CPU time (s): 74.5643
CPU user time (s): 71.0306
CPU system time (s): 3.53366
CPU usage (%): 246.847
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6148528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.0306
system time used= 3.53366
maximum resident set size= 6147132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572570
page faults= 2
swaps= 0
block input operations= 8376
block output operations= 124256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67480
involuntary context switches= 567


# summary of solver processes directly reported to runsolver:
#   pid: 14872
#   total CPU time (s): 74.5643
#   total CPU user time (s): 71.0306
#   total CPU system time (s): 3.53366

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.249508 second user time and 0.35066 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-13 23:23:06
IDJOB=4307090
IDBENCH=141450
IDSOLVER=2788
FILE ID=node136/4307090-1534195386
RUNJOBID= node136-1534187655-13690
PBS_JOBID= 21037985
Free space on /tmp= 35592 MiB

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

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

MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7
RANDOM SEED=72918671

node136.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.50
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.50
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.50
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.50
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:        24707884 kB
MemAvailable:   31904324 kB
Buffers:           78996 kB
Cached:          7327524 kB
SwapCached:           16 kB
Active:          3678656 kB
Inactive:        3780496 kB
Active(anon):       2080 kB
Inactive(anon):   102844 kB
Active(file):    3676576 kB
Inactive(file):  3677652 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:              8324 kB
Writeback:            64 kB
AnonPages:         59780 kB
Mapped:            52768 kB
Shmem:             49576 kB
Slab:             298408 kB
SReclaimable:     270672 kB
SUnreclaim:        27736 kB
KernelStack:        3168 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35584 MiB
End job on node136 at 2018-08-13 23:23:37