Trace number 4307087

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 68.2623 29.073

General information on the benchmark

NameCarSequencing/
CarSequencing-75-01_c18.xml
MD5SUM440a7f21d9ad6b426785aa5fd584fc01
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 benchmark7.5916
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1416
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree73
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":19},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
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":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":1},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"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":1215},{"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-3745-serial-file.bin HOME/instance-4307087-1534195471.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:24:32 CEST 2018
0.65/0.56	c PID: 3748
0.65/0.56	c IP: 172.20.3.133
0.65/0.56	c HOST: node133.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.03/1.39	c (0,0) Parsing End
3.37/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 26
3.37/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.40	c (0,0) Constraint Name Generate Begin
3.37/1.43	c (0,0) Ctr:HOME/instance-4307087-1534195471.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.37/1.43	c (0,0) Constraint Name Generate End
3.37/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.43	c (0,0) CSP to CSPinCNF Begin
12.26/4.57	c (4,4) translated 142 (10%) constraints
12.80/5.03	c (4,4) translated 284 (20%) constraints
12.80/5.05	c (4,4) translated 425 (30%) constraints
12.80/5.08	c (4,4) translated 567 (40%) constraints
12.80/5.10	c (4,4) translated 708 (50%) constraints
13.21/5.13	c (4,4) translated 850 (60%) constraints
13.21/5.15	c (4,4) translated 992 (70%) constraints
13.21/5.17	c (4,4) translated 1133 (80%) constraints
15.16/6.49	c (5,5) translated 1275 (90%) constraints
16.38/7.67	c (7,7) translated 1416 (100%) constraints
17.78/8.21	c (7,7) STATISTICS1:HOME/instance-4307087-1534195471.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57041,9223372036854775807,26,25,200,9223372036854775807:265;2305843009213693952:3;576460752303423488:1;288230376151711744:2;36028797018963968:2;18014398509481984:1;4503599627370496:2;562949953421312:1;70368744177664:1;8796093022208:1;1099511627776:1;16:392;4:396;2:199,26:20400;2:157993,25:200;3:29600;2:26000;1:1241,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:4;78:1;77:2;76:1;75:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:1;59:2;56:2;55:1;53:2;50:1;47:1;44:1;41:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:4;2704:1;2601:2;2500:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
17.78/8.21	c (7,7) ==========================================
17.78/8.21	c (7,7) Order
17.78/8.21	c (7,7) ==========================================
19.91/8.98	c (8,8) translated 5705 (10%) constraints
21.05/9.23	c (8,8) translated 11409 (20%) constraints
21.42/9.33	c (8,8) translated 17113 (30%) constraints
21.64/9.42	c (8,8) translated 22817 (40%) constraints
21.85/9.51	c (8,8) translated 28521 (50%) constraints
21.95/9.60	c (9,9) translated 34225 (60%) constraints
21.95/9.69	c (9,9) translated 39929 (70%) constraints
22.05/9.78	c (9,9) translated 45633 (80%) constraints
22.16/9.87	c (9,9) translated 51337 (90%) constraints
27.01/11.98	c (11,11) translated 57041 (100%) constraints
27.01/11.99	c (11,11) CSP to CSPinCNF End
27.23/12.01	c (11,11) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77530 ctr, max domain size 68
27.23/12.01	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.23/12.01	c (11,11) CSPinCNF Propagation Begin
28.68/12.57	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.68/12.57	c (12,12) CSPinCNF Propagation End
28.68/12.58	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
28.68/12.58	c (12,12) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.68/12.58	c (12,12) Simplify CSPinCNF Begin
29.99/12.86	c (12,12) Simplify CSPinCNF End
29.99/12.87	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
29.99/12.87	c (12,12) Heap : 276 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
29.99/12.87	c (12,12) Calculate Precise Domain Begin
30.14/12.92	c (12,12) 0 values are removed by re-calculation
30.14/12.92	c (12,12) Calculate Precise Domain End
30.14/12.92	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
30.14/12.92	c (12,12) Heap : 276 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.14/12.92	c (12,12) CSPinCNF to SatSolver Begin
33.19/14.94	c (14,14) 7713 (10 %) CSP clauses are encoded (93050 SAT variables, 584868 SAT clauses)
33.19/15.01	c (14,14) 15426 (20 %) CSP clauses are encoded (93050 SAT variables, 592581 SAT clauses)
33.52/15.07	c (14,14) 23139 (30 %) CSP clauses are encoded (93050 SAT variables, 600294 SAT clauses)
33.76/15.12	c (14,14) 30852 (40 %) CSP clauses are encoded (93050 SAT variables, 608007 SAT clauses)
33.76/15.16	c (14,14) 38565 (50 %) CSP clauses are encoded (93050 SAT variables, 615720 SAT clauses)
33.86/15.20	c (14,14) 46278 (60 %) CSP clauses are encoded (93050 SAT variables, 623433 SAT clauses)
33.86/15.24	c (14,14) 53991 (70 %) CSP clauses are encoded (93050 SAT variables, 631146 SAT clauses)
33.86/15.28	c (14,14) 61704 (80 %) CSP clauses are encoded (93050 SAT variables, 638859 SAT clauses)
34.32/15.55	c (15,14) 69417 (90 %) CSP clauses are encoded (93050 SAT variables, 723001 SAT clauses)
39.27/20.01	c (19,18) 77130 (100 %) CSP clauses are encoded (93050 SAT variables, 2400015 SAT clauses)
39.27/20.01	c (19,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
39.27/20.01	c (19,18) CSPinCNF to SatSolver End
39.27/20.01	c (19,18) Heap : 983 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
40.21/20.34	c (19,19) STATISTICS2:HOME/instance-4307087-1534195471.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25658,77130,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:5;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521: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:282;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:18;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:14;512:739;506:17;484:16;462:15;441:18;420:14;400:23;380:16;361:14;342:18;324:43;306:91;289:71;288:8;272:85;256:1902;240:69;234:4;225:71;221:8;210:69;198:4;196:68;187:8;182:71;169:76;162:12;156:68;153:24;144:69;132:67;128:1127;126:8;121:76;119:16;110:63;108:4;102:8;100:64;96:273;90:552;85:8;81:511;72:301;68:24;64:1107;56:276;54:4;51:8;49:291;36:40;34:64;25:281;16:962;9:8;4:460;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:42;48:28;47:26;46:32;45:26;44:28;43:30;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:136;27:136;26:30142;25:136;24:136;23:138;22:134;21:136;20:162;19:128;18:1132;17:974;16:650;15:562;14:552;13:586;12:1092;11:568;10:1478;9:3730;8:2254;7:1724;6:36;5:1128;4:108;3:36;2:178681,24:200;3:29200;2:36400;1:11330,11:266;10:739;9:1811;8:1127;7:826;5:1211;3:5151;2:199;1:165200,
40.21/20.34	c (19,19) 93050 bool, 2400639 clause
40.21/20.34	c (19,19) Export Begin
40.72/20.50	c (19,19) Export to HOME/scop-3745-serial-file.bin
40.72/20.50	c (19,19) Export End
40.72/20.50	c (19,19) Export File Size: 0.24 MB
40.72/20.50	c (19,19) 0,0,11,12,12,12,19,STOP-AFTER(DIMACS)
40.72/20.50	c END-Prog: Mon Aug 13 23:24:52 CEST 2018
40.72/20.53	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-3745-serial-file.bin
41.36/21.03	c (0,0) Read Serial File Begin
41.36/21.03	c (0,0) HOME/scop-3745-serial-file.bin
41.71/21.27	c (0,0) Read Serial File End
41.71/21.28	
41.71/21.28	scop order+glucose-syrup (2018-07-31)
41.71/21.28	(Solving Process)
41.71/21.28	
41.98/21.31	c BEGIN-Prog: Mon Aug 13 23:24:53 CEST 2018
41.98/21.31	c PID: 3768
41.98/21.31	c IP: 172.20.3.133
41.98/21.31	c HOST: node133.alineos.net
41.98/21.31	c (0,0) SatSolver.solve Begin
41.98/21.31	c (0,0) 0 bool, 0 clause
41.98/21.31	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307087-1534195471.xml-scop-3748.cnf
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c WARNING: for repeatability, setting FPU to use double precision
67.41/28.83	c (7,0) c 8 solvers engines and 1 companion as a blackboard created.
67.41/28.83	c (7,0) c ========================================[ Problem Statistics ]===========================================
67.41/28.83	c (7,0) c |                                                                                                       |
67.41/28.83	c (7,0) c |  Number of variables:         93050                                                                   |
67.41/28.83	c (7,0) c |  Number of clauses:         2400363                                                                   |
67.41/28.83	c (7,0) c |  Parse time:                   0.81 s                                                                 |
67.41/28.83	c (7,0) c |                                                                                                       |
67.41/28.83	c (7,0) c |  Eliminated clauses:           0.36 Mb                                                                |
67.41/28.83	c (7,0) c |  Simplification time:          3.42 s                                                                 |
67.41/28.83	c (7,0) c |                                                                                                       |
67.41/28.83	c (7,0) c |  Generating clones                                                                                    |
67.41/28.83	c (7,0) c |  all clones generated. Memory = 1035.98Mb.                                                             |
67.41/28.83	c (7,0) c ========================================================================================================|
67.41/28.83	c (7,0) c last restart ## conflicts  :  12 2367 
67.41/28.83	c (7,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
67.41/28.83	c (7,0) c Total Memory so far : 1652.39Mb
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c real time : 7.48921 s
67.41/28.83	c (7,0) c cpu time  : 24.0511 s
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
67.41/28.83	c (7,0) c
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) c | Conflicts     |           17957 |       1642 |       2862 |       2244 |       2575 |       2032 |       2437 |       1592 |       2573 |
67.41/28.83	c (7,0) c | Decisions     |          532537 |      48992 |      73609 |      59178 |      78314 |      52510 |      80045 |      61911 |      77978 |
67.41/28.83	c (7,0) c | Propagations  |        44296954 |    4219798 |    5844283 |    5673276 |    5964750 |    5236070 |    6042873 |    5342904 |    5973000 |
67.41/28.83	c (7,0) c | Avg_Trail     |                 |      36822 |      33109 |      32622 |      33475 |      33647 |      32106 |      33247 |      33278 |
67.41/28.83	c (7,0) c | Avg_DL        |                 |        541 |        412 |        384 |        447 |        405 |        409 |        369 |        445 |
67.41/28.83	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) c | Exported      |            1072 |         95 |        120 |        151 |        122 |        161 |        148 |        152 |        123 |
67.41/28.83	c (7,0) c | Imported      |            7058 |        907 |        888 |        912 |        909 |        714 |        918 |        894 |        916 |
67.41/28.83	c (7,0) c | Good          |            6820 |        876 |        858 |        879 |        878 |        696 |        886 |        862 |        885 |
67.41/28.83	c (7,0) c | Purge         |             238 |         31 |         30 |         33 |         31 |         18 |         32 |         32 |         31 |
67.41/28.83	c (7,0) c | Promoted      |               1 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.41/28.83	c (7,0) c | Binaries      |                 |         92 |        116 |        148 |        119 |        148 |        144 |        150 |        119 |
67.41/28.83	c (7,0) c | Glues         |                 |         95 |        120 |        151 |        122 |        161 |        148 |        152 |        123 |
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) c | Orig_Seen     |             0 % |      13284 |      17424 |      15952 |      20541 |      16839 |      19539 |      14463 |      20938 |
67.41/28.83	c (7,0) c | Diff Orig seen|                 | -     1179 |       2961 |       1489 |       6078 |       2376 |       5076 |      X     |       6475 |
67.41/28.83	c (7,0) c | Hamming       |             7 % |       7330 |       6902 |       6586 |       7450 |       7597 |       7418 |      X     |       7497 |
67.41/28.83	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.41/28.83	c (7,0) 
67.41/28.83	c (7,0) s SATISFIABLE
42.33/28.92	c (8,0) SatSolver.solve End
42.33/28.92	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
42.33/28.92	c (8,0) Show results Begin
68.07/29.01	s SATISFIABLE
68.07/29.05	v <instantiation>
68.07/29.05	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>
68.07/29.05	v     <values>3 16 20 25 19 2 8 7 18 5 6 2 3 0 2 19 2 8 21 18 2 2 10 2 11 6 19 2 20 8 5 2 18 7 8 5 6 2 2 6 5 25 12 2 25 0 2 1 9 1 2 2 19 3 18 5 12 2 5 15 2 5 15 19 2 18 2 0 2 11 6 8 3 9 1 2 5 18 24 18 19 2 9 19 3 16 9 19 2 19 3 15 8 5 6 11 3 6 2 19 9 16 3 6 3 2 12 18 19 15 19 2 11 8 11 6 2 19 25 7 8 3 2 0 18 13 2 18 6 5 2 6 2 1 2 5 17 2 6 2 1 3 0 25 5 6 11 18 14 25 19 18 19 2 25 12 11 18 5 2 6 11 2 15 19 2 5 6 2 4 18 2 2 19 2 20 1 2 0 8 3 19 9 1 2 6 5 2 21 8 2 23 18 19 2 22 6 25 1 2 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 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 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0</values>
68.07/29.05	v </instantiation>
68.07/29.05	c (8,0) Show results End
68.07/29.05	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
68.07/29.05	c (8,0) 8,8,STOP-AFTER(ALL)
68.07/29.05	c END-Prog: Mon Aug 13 23:25:01 CEST 2018

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14087 MiB free)
  memory of node 1: 16384 MiB (9359 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=3745, runsolver pid=3742

[startup+0.100154 s]*
/proc/loadavg: 8.27 7.74 7.03 2/204 3767
/proc/meminfo: memFree=23914740/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 237110309 115843072 349 33554432000 4194304 5098028 140724361581360 140724361578616 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 349 296 221 0 87 0
[pid=3748] ppid=3745 vsize=27313900 memory=108888 CPUtime=0.11 cores=0-7
/proc/3748/stat : 3748 (java) S 3745 3745 1330 0 -1 1077944320 6658 0 0 0 8 3 0 0 20 0 20 0 237110309 27969433600 27222 33554432000 4194304 4196468 140733956045712 140733956028256 140031573069559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
/proc/3748/statm: 6828475 27222 2739 1 0 6790935 0
[pid=3748/tid=3749] ppid=3745 vsize=27313900 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3748/task/3749/stat : 3749 (java) R 3745 3745 1330 0 -1 4202560 4811 0 0 0 6 2 0 0 20 0 20 0 237110310 27969433600 27222 33554432000 4194304 4196468 140733956045712 140031544895888 140031553345280 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3750] ppid=3745 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3748/task/3750/stat : 3750 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27222 33554432000 4194304 4196468 140733956045712 140031577311888 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3751] ppid=3745 vsize=27313900 memory=140633539569280 CPUtime=0 cores=0-7
/proc/3748/task/3751/stat : 3751 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27222 33554432000 4194304 4196468 140733956045712 140031391468048 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3752] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3752/stat : 3752 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031390415248 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3753] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3753/stat : 3753 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031389362448 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3754] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3754/stat : 3754 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031388310672 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3755] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3755/stat : 3755 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031387257872 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3756] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3756/stat : 3756 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031386205072 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3757] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3757/stat : 3757 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 27287 33554432000 4194304 4196468 140733956045712 140031385152272 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3758] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3758/stat : 3758 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029892487536 140031573080706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3759] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3759/stat : 3759 (java) S 3745 3745 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029355615264 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3760] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3760/stat : 3760 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029087179632 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3761] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3761/stat : 3761 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140028712671056 140031573088155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3762] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3762/stat : 3762 (java) S 3745 3745 1330 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029891435376 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3763] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3763/stat : 3763 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029890382576 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3764] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3764/stat : 3764 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029889329776 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3765] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3765/stat : 3765 (java) S 3745 3745 1330 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029888276976 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3766] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3766/stat : 3766 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140028214766176 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3767] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3767/stat : 3767 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 27287 33554432000 4194304 4196468 140733956045712 140029887224368 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110284 KiB

[startup+0.210579 s]*
/proc/loadavg: 8.27 7.74 7.03 2/204 3767
/proc/meminfo: memFree=23898368/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 237110309 115843072 349 33554432000 4194304 5098028 140724361581360 140724361578616 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 349 296 221 0 87 0
[pid=3748] ppid=3745 vsize=27313900 memory=123312 CPUtime=0.24 cores=0-7
/proc/3748/stat : 3748 (java) S 3745 3745 1330 0 -1 1077944320 10516 0 0 0 20 4 0 0 20 0 20 0 237110309 27969433600 30828 33554432000 4194304 4196468 140733956045712 140733956028256 140031573069559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
/proc/3748/statm: 6828475 30828 2863 1 0 6790935 0
[pid=3748/tid=3749] ppid=3745 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3748/task/3749/stat : 3749 (java) R 3745 3745 1330 0 -1 4202560 8434 0 0 0 16 3 0 0 20 0 20 0 237110310 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031544878304 140031565306686 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3750] ppid=3745 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/3748/task/3750/stat : 3750 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031577311888 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3751] ppid=3745 vsize=27313900 memory=140633539572949 CPUtime=0 cores=0-7
/proc/3748/task/3751/stat : 3751 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031391468048 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3752] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3752/stat : 3752 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031390415248 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3753] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3753/stat : 3753 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031389362448 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3754] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3754/stat : 3754 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031388310672 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3755] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3755/stat : 3755 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031387257872 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3756] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3756/stat : 3756 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031386205072 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3757] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3757/stat : 3757 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 30828 33554432000 4194304 4196468 140733956045712 140031385152272 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3758] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3758/stat : 3758 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029892487536 140031573080706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3759] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3759/stat : 3759 (java) S 3745 3745 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029355615264 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3760] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3760/stat : 3760 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029087179632 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3761] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3761/stat : 3761 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140028712671056 140031573088155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3762] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3762/stat : 3762 (java) S 3745 3745 1330 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029891435376 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3763] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3763/stat : 3763 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029890382576 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3764] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3764/stat : 3764 (java) S 3745 3745 1330 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029889329776 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3765] ppid=3745 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/3748/task/3765/stat : 3765 (java) S 3745 3745 1330 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029888276976 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3766] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3766/stat : 3766 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140028214766176 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3767] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3767/stat : 3767 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 30828 33554432000 4194304 4196468 140733956045712 140029887224368 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124708 KiB

[startup+0.31045 s]*
/proc/loadavg: 8.27 7.74 7.03 2/204 3767
/proc/meminfo: memFree=23894460/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 237110309 115843072 349 33554432000 4194304 5098028 140724361581360 140724361578616 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 349 296 221 0 87 0
[pid=3748] ppid=3745 vsize=27313900 memory=127468 CPUtime=0.42 cores=0-7
/proc/3748/stat : 3748 (java) S 3745 3745 1330 0 -1 1077944320 11117 0 0 0 37 5 0 0 20 0 20 0 237110309 27969433600 31867 33554432000 4194304 4196468 140733956045712 140733956028256 140031573069559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
/proc/3748/statm: 6828475 31867 2996 1 0 6790935 0
[pid=3748/tid=3749] ppid=3745 vsize=27313900 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/3748/task/3749/stat : 3749 (java) R 3745 3745 1330 0 -1 4202560 8842 0 0 0 26 4 0 0 20 0 20 0 237110310 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031544865008 140031553345383 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3750] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3750/stat : 3750 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031577311888 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3751] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3751/stat : 3751 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031391468048 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3752] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3752/stat : 3752 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031390415248 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3753] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3753/stat : 3753 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031389362448 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3754] ppid=3745 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/3748/task/3754/stat : 3754 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031388310672 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3755] ppid=3745 vsize=27313900 memory=140633402602415 CPUtime=0 cores=0-7
/proc/3748/task/3755/stat : 3755 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031387257872 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3756] ppid=3745 vsize=27313900 memory=140633402604720 CPUtime=0 cores=0-7
/proc/3748/task/3756/stat : 3756 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031386205072 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3757] ppid=3745 vsize=27313900 memory=140633402607024 CPUtime=0 cores=0-7
/proc/3748/task/3757/stat : 3757 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110312 27969433600 31867 33554432000 4194304 4196468 140733956045712 140031385152272 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3758] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3758/stat : 3758 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029892487536 140031573080706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3759] ppid=3745 vsize=27313900 memory=281266805221008 CPUtime=0 cores=0-7
/proc/3748/task/3759/stat : 3759 (java) S 3745 3745 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029355615264 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3760] ppid=3745 vsize=27313900 memory=281266805227920 CPUtime=0 cores=0-7
/proc/3748/task/3760/stat : 3760 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110314 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029087179632 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3761] ppid=3745 vsize=27313900 memory=281266805169200 CPUtime=0 cores=0-7
/proc/3748/task/3761/stat : 3761 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140028712671056 140031573088155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3762] ppid=3745 vsize=27313900 memory=281266805241744 CPUtime=0.01 cores=0-7
/proc/3748/task/3762/stat : 3762 (java) S 3745 3745 1330 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029891435376 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3763] ppid=3745 vsize=27313900 memory=281266805248656 CPUtime=0.01 cores=0-7
/proc/3748/task/3763/stat : 3763 (java) S 3745 3745 1330 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029890382576 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3764] ppid=3745 vsize=27313900 memory=281266805246352 CPUtime=0.01 cores=0-7
/proc/3748/task/3764/stat : 3764 (java) S 3745 3745 1330 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029889329776 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3765] ppid=3745 vsize=27313900 memory=281266805262512 CPUtime=0.07 cores=0-7
/proc/3748/task/3765/stat : 3765 (java) S 3745 3745 1330 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029888276976 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3766] ppid=3745 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3766/stat : 3766 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140028214766176 140031573079765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3767] ppid=3745 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3748/task/3767/stat : 3767 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110317 27969433600 31867 33554432000 4194304 4196468 140733956045712 140029887224368 140031573080706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128864 KiB

[startup+0.700872 s]
/proc/loadavg: 8.27 7.74 7.03 2/204 3767
/proc/meminfo: memFree=23869780/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 237110309 115843072 349 33554432000 4194304 5098028 140724361581360 140724361578616 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 349 296 221 0 87 0
[pid=3748] ppid=3745 vsize=27320172 memory=164732 CPUtime=1.01 cores=0-7
/proc/3748/stat : 3748 (java) S 3745 3745 1330 0 -1 1077944320 18195 0 0 0 95 6 0 0 20 0 20 0 237110309 27975856128 41183 33554432000 4194304 4196468 140733956045712 140733956028256 140031573069559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
/proc/3748/statm: 6830043 41183 3125 1 0 6791447 0
[pid=3748/tid=3749] ppid=3745 vsize=27320172 memory=281266805620400 CPUtime=0.66 cores=0-7
/proc/3748/task/3749/stat : 3749 (java) R 3745 3745 1330 0 -1 4202560 15354 0 0 0 61 5 0 0 20 0 20 0 237110310 27975856128 41183 33554432000 4194304 4196468 140733956045712 140031544906976 140031052560131 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3750] ppid=3745 vsize=27320172 memory=140633402811248 CPUtime=0 cores=0-7
/proc/3748/task/3750/stat : 3750 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27975856128 41183 33554432000 4194304 4196468 140733956045712 140031577311888 140031573079765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3751] ppid=3745 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/3748/task/3751/stat : 3751 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27975856128 41183 33554432000 4194304 4196468 140733956045712 140031391468048 140031573079765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0
[pid=3748/tid=3752] ppid=3745 vsize=27320172 memory=1912 CPUtime=0 cores=0-7
/proc/3748/task/3752/stat : 3752 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237110312 27975856128 41183 33554432000 4194304 4196468 140733956045712 140031390415248 140031573079765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35299328 140733956051945 140733956052269 140733956052269 140733956054991 0

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

/proc/3768/task/3780/stat : 3780 (java) S 3745 3745 1330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237112367 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662471452016 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3781] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3781/stat : 3781 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662096947536 139664000751515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3782] ppid=3745 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/3768/task/3782/stat : 3782 (java) S 3745 3745 1330 0 -1 1077944384 781 0 0 0 10 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662824651120 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3783] ppid=3745 vsize=8413904 memory=0 CPUtime=0.12 cores=0-7
/proc/3768/task/3783/stat : 3783 (java) S 3745 3745 1330 0 -1 1077944384 554 0 0 0 12 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662823598320 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3784] ppid=3745 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/3768/task/3784/stat : 3784 (java) S 3745 3745 1330 0 -1 1077944384 193 0 0 0 11 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662822545520 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3785] ppid=3745 vsize=8413904 memory=0 CPUtime=0.23 cores=0-7
/proc/3768/task/3785/stat : 3785 (java) S 3745 3745 1330 0 -1 1077944384 623 0 0 0 23 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662821492720 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3786] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3786/stat : 3786 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139661599042656 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3787] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3787/stat : 3787 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112370 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662820441136 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3789] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3789/stat : 3789 (java) S 3745 3745 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662812632640 139664000757529 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3791] ppid=3745 vsize=8413904 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/3768/task/3791/stat : 3791 (java) S 3745 3745 1330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139660927942320 139664000754845 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3792] ppid=3745 vsize=8413904 memory=-3252517613199061085 CPUtime=0 cores=0-7
/proc/3768/task/3792/stat : 3792 (java) S 3745 3745 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139661196377648 139664000754845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3793] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3793/stat : 3793 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112445 8615837696 30915 33554432000 4194304 4196468 140735698525472 139660659514400 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
Current children cumulated CPU time: 61.13 s
Current children cumulated vsize: 10215824 KiB
Current children cumulated memory: 1233020 KiB

[startup+28.8021 s]
/proc/loadavg: 5.49 7.12 6.85 9/217 3801
/proc/meminfo: memFree=22727604/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1472 CPUtime=40.76 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 591 47640 0 0 0 0 3882 194 20 0 1 0 237110309 115843072 368 33554432000 4194304 5098028 140724361581360 140724361578104 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 368 311 221 0 87 0
[pid=3768] ppid=3745 vsize=8413904 memory=123660 CPUtime=1.41 cores=0-7
/proc/3768/stat : 3768 (java) S 3745 3745 1330 0 -1 1077944320 18648 0 0 0 132 9 0 0 20 0 24 0 237112363 8615837696 30915 33554432000 4194304 4196468 140735698525472 140735698508016 139664000732919 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
/proc/3768/statm: 2103476 30915 3147 1 0 2064875 0
[pid=3788] ppid=3768 vsize=1691908 memory=1112824 CPUtime=25.24 cores=0-7
/proc/3788/stat : 3788 (glucose-syrup) S 3768 3745 1330 0 -1 1077944320 415036 0 0 0 2390 134 0 0 20 0 9 0 237112443 1732513792 278206 33554432000 4194304 4373367 140724167227072 140724167225616 139784097012354 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
/proc/3788/statm: 422977 278206 385 44 0 418665 0
[pid=3788/tid=3794] ppid=3768 vsize=1691908 memory=752 CPUtime=2.53 cores=0-7
/proc/3788/task/3794/stat : 3794 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 25330 0 0 0 239 14 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139784048954248 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3795] ppid=3768 vsize=1691908 memory=1616 CPUtime=2.54 cores=0-7
/proc/3788/task/3795/stat : 3795 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 34376 0 0 0 247 7 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139784040561544 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3796] ppid=3768 vsize=1691908 memory=0 CPUtime=2.55 cores=0-7
/proc/3788/task/3796/stat : 3796 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 29666 0 0 0 236 19 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139784032169160 4271616 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3797] ppid=3768 vsize=1691908 memory=752 CPUtime=2.54 cores=0-7
/proc/3788/task/3797/stat : 3797 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 29798 0 0 0 248 6 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139783601179848 4259418 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3798] ppid=3768 vsize=1691908 memory=1616 CPUtime=2.52 cores=0-7
/proc/3788/task/3798/stat : 3798 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 28908 0 0 0 232 20 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139783592787176 139784082308489 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3799] ppid=3768 vsize=1691908 memory=11584 CPUtime=2.54 cores=0-7
/proc/3788/task/3799/stat : 3799 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 29338 0 0 0 245 9 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139783584394472 4271925 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3800] ppid=3768 vsize=1691908 memory=6408 CPUtime=2.54 cores=0-7
/proc/3788/task/3800/stat : 3800 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 29339 0 0 0 236 18 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139783576001736 4271685 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3788/tid=3801] ppid=3768 vsize=1691908 memory=14892 CPUtime=2.54 cores=0-7
/proc/3788/task/3801/stat : 3801 (glucose-syrup) R 3768 3745 1330 0 -1 4202560 18897 0 0 0 249 5 0 0 20 0 9 0 237112929 1732513792 278206 33554432000 4194304 4373367 140724167227072 139783567609032 4271641 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 14422016 140724167230545 140724167230676 140724167230676 140724167233479 0
[pid=3768/tid=3769] ppid=3745 vsize=8413904 memory=13920 CPUtime=0.81 cores=0-7
/proc/3768/task/3769/stat : 3769 (java) S 3745 3745 1330 0 -1 1077944384 15075 0 0 0 74 7 0 0 20 0 24 0 237112363 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663972573072 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3770] ppid=3745 vsize=8413904 memory=3340 CPUtime=0 cores=0-7
/proc/3768/task/3770/stat : 3770 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237112364 8615837696 30915 33554432000 4194304 4196468 140735698525472 139664004975760 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3771] ppid=3745 vsize=8413904 memory=1172 CPUtime=0 cores=0-7
/proc/3768/task/3771/stat : 3771 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237112364 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663819131920 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3772] ppid=3745 vsize=8413904 memory=35832 CPUtime=0 cores=0-7
/proc/3768/task/3772/stat : 3772 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663818079120 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3773] ppid=3745 vsize=8413904 memory=1624 CPUtime=0 cores=0-7
/proc/3768/task/3773/stat : 3773 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663817026320 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3774] ppid=3745 vsize=8413904 memory=496 CPUtime=0 cores=0-7
/proc/3768/task/3774/stat : 3774 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663815973520 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3775] ppid=3745 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/3768/task/3775/stat : 3775 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663814920720 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3776] ppid=3745 vsize=8413904 memory=1792 CPUtime=0 cores=0-7
/proc/3768/task/3776/stat : 3776 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663480879504 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3777] ppid=3745 vsize=8413904 memory=2868 CPUtime=0 cores=0-7
/proc/3768/task/3777/stat : 3777 (java) S 3745 3745 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237112365 8615837696 30915 33554432000 4194304 4196468 140735698525472 139663479826704 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3778] ppid=3745 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/3768/task/3778/stat : 3778 (java) S 3745 3745 1330 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237112366 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662825704304 139664000744066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3779] ppid=3745 vsize=8413904 memory=123660 CPUtime=0 cores=0-7
/proc/3768/task/3779/stat : 3779 (java) S 3745 3745 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237112366 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662605674016 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3780] ppid=3745 vsize=8413904 memory=213980 CPUtime=0 cores=0-7
/proc/3768/task/3780/stat : 3780 (java) S 3745 3745 1330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237112367 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662471452016 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3781] ppid=3745 vsize=8413904 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/3768/task/3781/stat : 3781 (java) S 3745 3745 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662096947536 139664000751515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3782] ppid=3745 vsize=8413904 memory=4126316290023845779 CPUtime=0.1 cores=0-7
/proc/3768/task/3782/stat : 3782 (java) S 3745 3745 1330 0 -1 1077944384 781 0 0 0 10 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662824651120 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3783] ppid=3745 vsize=8413904 memory=211868 CPUtime=0.12 cores=0-7
/proc/3768/task/3783/stat : 3783 (java) S 3745 3745 1330 0 -1 1077944384 554 0 0 0 12 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662823598320 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3784] ppid=3745 vsize=8413904 memory=1776 CPUtime=0.11 cores=0-7
/proc/3768/task/3784/stat : 3784 (java) S 3745 3745 1330 0 -1 1077944384 193 0 0 0 11 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662822545520 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3785] ppid=3745 vsize=8413904 memory=752 CPUtime=0.23 cores=0-7
/proc/3768/task/3785/stat : 3785 (java) S 3745 3745 1330 0 -1 1077944384 623 0 0 0 23 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662821492720 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3786] ppid=3745 vsize=8413904 memory=11204 CPUtime=0 cores=0-7
/proc/3768/task/3786/stat : 3786 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112369 8615837696 30915 33554432000 4194304 4196468 140735698525472 139661599042656 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3787] ppid=3745 vsize=8413904 memory=-8458152057954430348 CPUtime=0 cores=0-7
/proc/3768/task/3787/stat : 3787 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112370 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662820441136 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3789] ppid=3745 vsize=8413904 memory=-3761991693426146123 CPUtime=0 cores=0-7
/proc/3768/task/3789/stat : 3789 (java) S 3745 3745 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139662812632640 139664000757529 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3791] ppid=3745 vsize=8413904 memory=281266805821312 CPUtime=0 cores=0-7
/proc/3768/task/3791/stat : 3791 (java) S 3745 3745 1330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139660927942320 139664000754845 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3792] ppid=3745 vsize=8413904 memory=184272 CPUtime=0 cores=0-7
/proc/3768/task/3792/stat : 3792 (java) S 3745 3745 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237112443 8615837696 30915 33554432000 4194304 4196468 140735698525472 139661196377648 139664000754845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3793] ppid=3745 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/3768/task/3793/stat : 3793 (java) S 3745 3745 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237112445 8615837696 30915 33554432000 4194304 4196468 140735698525472 139660659514400 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
Current children cumulated CPU time: 67.41 s
Current children cumulated vsize: 10218940 KiB
Current children cumulated memory: 1237956 KiB

[startup+29.0013 s]*
/proc/loadavg: 5.49 7.12 6.85 5/206 3801
/proc/meminfo: memFree=23810784/32770624 swapFree=67108852/67108860
[pid=3745] ppid=3742 vsize=113128 memory=1472 CPUtime=40.76 cores=0-7
/proc/3745/stat : 3745 (scop.sh) S 3742 3745 1330 0 -1 4202496 591 47640 0 0 0 0 3882 194 20 0 1 0 237110309 115843072 368 33554432000 4194304 5098028 140724361581360 140724361578104 140423492018812 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25845760 140724361589794 140724361590019 140724361590019 140724361592781 0
/proc/3745/statm: 28282 368 311 221 0 87 0
[pid=3768] ppid=3745 vsize=8282828 memory=147348 CPUtime=27.31 cores=0-7
/proc/3768/stat : 3768 (java) S 3745 3745 1330 0 -1 1077944320 19976 431212 0 0 171 11 2407 142 20 0 22 0 237112363 8481615872 36837 33554432000 4194304 4196468 140735698525472 140735698508016 139664000732919 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
/proc/3768/statm: 2070707 36837 3176 1 0 2032106 0
[pid=3768/tid=3769] ppid=3745 vsize=8282828 memory=8112282956445269571 CPUtime=26.4 cores=0-7
/proc/3768/task/3769/stat : 3769 (java) R 3745 3745 1330 0 -1 4202560 15289 431212 0 0 83 8 2407 142 20 0 22 0 237112363 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663972570528 139663984813406 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3770] ppid=3745 vsize=8282828 memory=4126316290023845779 CPUtime=25.49 cores=0-7
/proc/3768/task/3770/stat : 3770 (java) S 3745 3745 1330 0 -1 1077944384 1 431212 0 0 0 0 2407 142 20 0 22 0 237112364 8481615872 36837 33554432000 4194304 4196468 140735698525472 139664004975760 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3771] ppid=3745 vsize=8282828 memory=1472 CPUtime=25.49 cores=0-7
/proc/3768/task/3771/stat : 3771 (java) S 3745 3745 1330 0 -1 1077944384 1 431212 0 0 0 0 2407 142 20 0 22 0 237112364 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663819131920 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3772] ppid=3745 vsize=8282828 memory=123660 CPUtime=25.49 cores=0-7
/proc/3768/task/3772/stat : 3772 (java) S 3745 3745 1330 0 -1 1077944384 2 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663818079120 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3773] ppid=3745 vsize=8282828 memory=213452 CPUtime=25.49 cores=0-7
/proc/3768/task/3773/stat : 3773 (java) S 3745 3745 1330 0 -1 1077944384 3 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663817026320 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3774] ppid=3745 vsize=8282828 memory=752 CPUtime=25.49 cores=0-7
/proc/3768/task/3774/stat : 3774 (java) S 3745 3745 1330 0 -1 1077944384 2 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663815973520 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3775] ppid=3745 vsize=8282828 memory=1472 CPUtime=25.49 cores=0-7
/proc/3768/task/3775/stat : 3775 (java) S 3745 3745 1330 0 -1 1077944384 2 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663814920720 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3776] ppid=3745 vsize=8282828 memory=1095716 CPUtime=25.49 cores=0-7
/proc/3768/task/3776/stat : 3776 (java) S 3745 3745 1330 0 -1 1077944384 2 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663480879504 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3777] ppid=3745 vsize=8282828 memory=1624 CPUtime=25.49 cores=0-7
/proc/3768/task/3777/stat : 3777 (java) S 3745 3745 1330 0 -1 1077944384 2 431212 0 0 0 0 2407 142 20 0 22 0 237112365 8481615872 36837 33554432000 4194304 4196468 140735698525472 139663479826704 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3778] ppid=3745 vsize=8282828 memory=1472 CPUtime=25.49 cores=0-7
/proc/3768/task/3778/stat : 3778 (java) S 3745 3745 1330 0 -1 1077944384 7 431212 0 0 0 0 2407 142 20 0 22 0 237112366 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662825704304 139664000744066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3779] ppid=3745 vsize=8282828 memory=123660 CPUtime=25.49 cores=0-7
/proc/3768/task/3779/stat : 3779 (java) S 3745 3745 1330 0 -1 1077944384 13 431212 0 0 0 0 2407 142 20 0 22 0 237112366 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662605674016 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3780] ppid=3745 vsize=8282828 memory=1084100 CPUtime=25.49 cores=0-7
/proc/3768/task/3780/stat : 3780 (java) S 3745 3745 1330 0 -1 1077944384 21 431212 0 0 0 0 2407 142 20 0 22 0 237112367 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662471452016 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3781] ppid=3745 vsize=8282828 memory=0 CPUtime=25.49 cores=0-7
/proc/3768/task/3781/stat : 3781 (java) S 3745 3745 1330 0 -1 1077944384 1 431212 0 0 0 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662096947536 139664000751515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3782] ppid=3745 vsize=8282828 memory=281266805484800 CPUtime=25.63 cores=0-7
/proc/3768/task/3782/stat : 3782 (java) R 3745 3745 1330 0 -1 1077944384 800 431212 0 0 14 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662824651120 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3783] ppid=3745 vsize=8282828 memory=140633402663400 CPUtime=25.64 cores=0-7
/proc/3768/task/3783/stat : 3783 (java) S 3745 3745 1330 0 -1 1077944384 572 431212 0 0 15 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662823598320 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3784] ppid=3745 vsize=8282828 memory=4100 CPUtime=25.65 cores=0-7
/proc/3768/task/3784/stat : 3784 (java) R 3745 3745 1330 0 -1 1077944384 611 431212 0 0 16 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662822545520 139664000744066 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3785] ppid=3745 vsize=8282828 memory=1568 CPUtime=25.8 cores=0-7
/proc/3768/task/3785/stat : 3785 (java) R 3745 3745 1330 0 -1 4202560 1235 431212 0 0 31 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662821492720 139664000744854 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3786] ppid=3745 vsize=8282828 memory=924 CPUtime=25.49 cores=0-7
/proc/3768/task/3786/stat : 3786 (java) S 3745 3745 1330 0 -1 1077944384 3 431212 0 0 0 0 2407 142 20 0 22 0 237112369 8481615872 36837 33554432000 4194304 4196468 140735698525472 139661599042656 139664000743125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3787] ppid=3745 vsize=8282828 memory=2196 CPUtime=25.49 cores=0-7
/proc/3768/task/3787/stat : 3787 (java) S 3745 3745 1330 0 -1 1077944384 3 431212 0 0 0 0 2407 142 20 0 22 0 237112370 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662820441136 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3789] ppid=3745 vsize=8282828 memory=4256 CPUtime=25.49 cores=0-7
/proc/3768/task/3789/stat : 3789 (java) S 3745 3745 1330 0 -1 1077944384 24 431212 0 0 0 0 2407 142 20 0 22 0 237112443 8481615872 36837 33554432000 4194304 4196468 140735698525472 139662812631824 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
[pid=3768/tid=3793] ppid=3745 vsize=8282828 memory=1920 CPUtime=25.49 cores=0-7
/proc/3768/task/3793/stat : 3793 (java) S 3745 3745 1330 0 -1 1077944384 7 431212 0 0 0 0 2407 142 20 0 22 0 237112445 8481615872 36837 33554432000 4194304 4196468 140735698525472 139660659516208 139664000744066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39215104 140735698531506 140735698531629 140735698531629 140735698534351 0
Current children cumulated CPU time: 68.07 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 148820 KiB

Child status: 0
Real time (s): 29.073
CPU time (s): 68.2623
CPU user time (s): 64.7601
CPU system time (s): 3.50222
CPU usage (%): 234.796
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6145644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.7601
system time used= 3.50222
maximum resident set size= 6144944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67780
involuntary context switches= 238


# summary of solver processes directly reported to runsolver:
#   pid: 3745
#   total CPU time (s): 68.2623
#   total CPU user time (s): 64.7601
#   total CPU system time (s): 3.50222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20889 second user time and 0.39699 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-13 23:24:32
IDJOB=4307087
IDBENCH=141451
IDSOLVER=2788
FILE ID=node133/4307087-1534195471
RUNJOBID= node133-1534187664-1357
PBS_JOBID= 21037986
Free space on /tmp= 38972 MiB

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

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

MD5SUM BENCH= 440a7f21d9ad6b426785aa5fd584fc01
RANDOM SEED=1307698958

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24011276 kB
MemAvailable:   31902844 kB
Buffers:           92832 kB
Cached:          8027476 kB
SwapCached:            4 kB
Active:          4086132 kB
Inactive:        4089580 kB
Active(anon):       3788 kB
Inactive(anon):   103864 kB
Active(file):    4082344 kB
Inactive(file):  3985716 kB
Unevictable:        7068 kB
Mlocked:            7068 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              8704 kB
Writeback:             0 kB
AnonPages:         61160 kB
Mapped:            54104 kB
Shmem:             49816 kB
Slab:             279904 kB
SReclaimable:     251968 kB
SUnreclaim:        27936 kB
KernelStack:        3712 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

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