Trace number 4307081

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 56.0534 26.0222

General information on the benchmark

NameCarSequencing/
CarSequencing-60-01_c18.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark10.4738
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"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":1178},{"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-3489-serial-file.bin HOME/instance-4307081-1534195330.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:22:11 CEST 2018
0.65/0.56	c PID: 3492
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
2.98/1.38	c (0,0) Parsing End
2.98/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
3.32/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.32/1.40	c (0,0) Constraint Name Generate Begin
3.32/1.42	c (0,0) Ctr:HOME/instance-4307081-1534195330.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.32/1.42	c (0,0) Constraint Name Generate End
3.32/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.32/1.42	c (0,0) CSP to CSPinCNF Begin
12.15/4.50	c (3,3) translated 138 (10%) constraints
12.71/5.04	c (4,4) translated 276 (20%) constraints
12.71/5.06	c (4,4) translated 414 (30%) constraints
12.71/5.08	c (4,4) translated 552 (40%) constraints
13.11/5.11	c (4,4) translated 690 (50%) constraints
13.11/5.14	c (4,4) translated 828 (60%) constraints
13.11/5.15	c (4,4) translated 966 (70%) constraints
13.11/5.16	c (4,4) translated 1104 (80%) constraints
14.46/5.96	c (5,5) translated 1242 (90%) constraints
15.99/7.47	c (6,6) translated 1379 (100%) constraints
17.41/8.02	c (7,7) STATISTICS1:HOME/instance-4307081-1534195330.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57402,9223372036854775807,24,25,200,9223372036854775807:221;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:1;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;268435456:1;16:392;4:396;2:199,24:18800;2:156849,25:200;3:29600;2:26400;1:1202,200:53;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;116:2;115:2;113:2;110:3;107:2;105:1;104:2;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:1;41:1;38:1;35:1;32:1;29:1;5:392;3:396;2:199;1:146400;0:200,17689:53;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;5929:2;5776:2;5625:2;5329:3;5041:2;4900:1;4761:2;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2
17.41/8.02	c (7,7) ==========================================
17.41/8.02	c (7,7) Order
17.41/8.02	c (7,7) ==========================================
20.00/8.82	c (8,8) translated 5741 (10%) constraints
20.53/9.04	c (8,8) translated 11481 (20%) constraints
20.86/9.14	c (8,8) translated 17221 (30%) constraints
20.96/9.24	c (8,8) translated 22961 (40%) constraints
21.06/9.33	c (8,8) translated 28701 (50%) constraints
21.16/9.42	c (8,8) translated 34442 (60%) constraints
21.26/9.52	c (8,8) translated 40182 (70%) constraints
21.36/9.61	c (9,9) translated 45922 (80%) constraints
21.46/9.70	c (9,9) translated 51662 (90%) constraints
26.33/11.63	c (11,11) translated 57402 (100%) constraints
26.33/11.65	c (11,11) CSP to CSPinCNF End
26.33/11.66	c (11,11) CSP: 3560 int (3360 aux), 21281 bool (20281 aux), 76068 ctr, max domain size 68
26.33/11.66	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.33/11.66	c (11,11) CSPinCNF Propagation Begin
27.99/12.18	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.99/12.18	c (11,11) CSPinCNF Propagation End
27.99/12.18	c (11,11) CSP: 3560 int (3360 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
27.99/12.18	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.99/12.18	c (11,11) Simplify CSPinCNF Begin
28.55/12.36	c (11,11) Simplify CSPinCNF End
28.55/12.37	c (11,11) CSP: 3560 int (3360 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
28.55/12.37	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.55/12.37	c (11,11) Calculate Precise Domain Begin
28.79/12.42	c (11,11) 0 values are removed by re-calculation
28.79/12.42	c (11,11) Calculate Precise Domain End
28.79/12.43	c (11,11) CSP: 3560 int (3360 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
28.79/12.43	c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.79/12.43	c (11,11) CSPinCNF to SatSolver Begin
32.74/14.59	c (14,13) 7567 (10 %) CSP clauses are encoded (85860 SAT variables, 543129 SAT clauses)
33.03/14.67	c (14,13) 15134 (20 %) CSP clauses are encoded (85860 SAT variables, 550696 SAT clauses)
33.26/14.74	c (14,14) 22701 (30 %) CSP clauses are encoded (85860 SAT variables, 558263 SAT clauses)
33.26/14.79	c (14,14) 30268 (40 %) CSP clauses are encoded (85860 SAT variables, 565830 SAT clauses)
33.49/14.83	c (14,14) 37834 (50 %) CSP clauses are encoded (85860 SAT variables, 573396 SAT clauses)
33.49/14.87	c (14,14) 45401 (60 %) CSP clauses are encoded (85860 SAT variables, 580963 SAT clauses)
33.60/14.91	c (14,14) 52968 (70 %) CSP clauses are encoded (85860 SAT variables, 588530 SAT clauses)
33.60/14.95	c (14,14) 60535 (80 %) CSP clauses are encoded (85860 SAT variables, 596097 SAT clauses)
33.60/14.99	c (14,14) 68102 (90 %) CSP clauses are encoded (85860 SAT variables, 604924 SAT clauses)
37.46/18.93	c (18,18) 75668 (100 %) CSP clauses are encoded (85860 SAT variables, 2111250 SAT clauses)
37.46/18.93	c (18,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
37.46/18.93	c (18,18) CSPinCNF to SatSolver End
37.46/18.93	c (18,18) Heap : 5402 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
38.36/19.24	c (18,18) STATISTICS2:HOME/instance-4307081-1534195330.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,24841,75668,4556,68,24,11,4556:7;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1560:2;1521:2;1482:2;1406:3;1332:2;1296:1;1260:2;1225:2;1190:20;1156:18;1122:18;1089:13;1056:17;1024:238;992:14;961:17;930:14;900:15;870:16;841:13;812:18;784:13;756:16;729:15;702:14;676:17;650:14;625:15;600:16;576:13;552:18;529:13;512:610;506:16;484:15;462:14;441:16;420:10;400:10;380:10;361:7;342:11;324:25;306:78;289:64;288:4;272:73;256:1720;240:63;234:4;225:62;221:8;216:4;210:63;204:8;196:62;182:65;169:70;162:4;156:63;153:8;144:70;132:63;128:1012;121:58;110:43;108:4;102:8;100:37;96:251;90:497;85:8;81:457;72:273;68:32;64:1010;56:253;54:12;51:24;49:253;36:44;34:72;25:259;16:926;9:24;4:468;2:199,68:28;67:30;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:32;40:16;39:20;38:16;37:14;36:18;35:62;34:152;33:128;32:126;31:128;30:124;29:124;28:124;27:124;26:128;25:124;24:27724;23:124;22:124;21:116;20:84;19:74;18:986;17:898;16:550;15:502;14:506;13:542;12:1040;11:446;10:1220;9:3332;8:2024;7:1518;6:36;5:1040;4:144;3:108;2:175973,24:200;3:29200;2:36000;1:10268,11:223;10:610;9:1648;8:1012;7:759;5:1145;3:4672;2:199;1:164400,
38.36/19.24	c (18,18) 85860 bool, 2112090 clause
38.36/19.24	c (18,18) Export Begin
38.55/19.40	c (18,18) Export to HOME/scop-3489-serial-file.bin
38.55/19.40	c (18,18) Export End
38.83/19.40	c (18,18) Export File Size: 0.24 MB
38.83/19.40	c (18,18) 0,0,11,11,11,11,18,STOP-AFTER(DIMACS)
38.83/19.40	c END-Prog: Mon Aug 13 23:22:30 CEST 2018
38.83/19.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-3489-serial-file.bin
38.87/19.94	c (0,0) Read Serial File Begin
38.87/19.94	c (0,0) HOME/scop-3489-serial-file.bin
39.83/20.18	c (0,0) Read Serial File End
39.83/20.19	
39.83/20.19	scop order+glucose-syrup (2018-07-31)
39.83/20.19	(Solving Process)
39.83/20.19	
40.09/20.22	c BEGIN-Prog: Mon Aug 13 23:22:31 CEST 2018
40.09/20.22	c PID: 3512
40.09/20.22	c IP: 172.20.3.133
40.09/20.22	c HOST: node133.alineos.net
40.09/20.22	c (0,0) SatSolver.solve Begin
40.09/20.22	c (0,0) 0 bool, 0 clause
40.09/20.22	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307081-1534195330.xml-scop-3492.cnf
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c WARNING: for repeatability, setting FPU to use double precision
54.77/25.78	c (5,0) c 8 solvers engines and 1 companion as a blackboard created.
54.77/25.78	c (5,0) c ========================================[ Problem Statistics ]===========================================
54.77/25.78	c (5,0) c |                                                                                                       |
54.77/25.78	c (5,0) c |  Number of variables:         85860                                                                   |
54.77/25.78	c (5,0) c |  Number of clauses:         2111826                                                                   |
54.77/25.78	c (5,0) c |  Parse time:                   0.71 s                                                                 |
54.77/25.78	c (5,0) c |                                                                                                       |
54.77/25.78	c (5,0) c |  Eliminated clauses:           0.38 Mb                                                                |
54.77/25.78	c (5,0) c |  Simplification time:          2.85 s                                                                 |
54.77/25.78	c (5,0) c |                                                                                                       |
54.77/25.78	c (5,0) c |  Generating clones                                                                                    |
54.77/25.78	c (5,0) c |  all clones generated. Memory = 828.02Mb.                                                             |
54.77/25.78	c (5,0) c ========================================================================================================|
54.77/25.78	c (5,0) c last restart ## conflicts  :  138 2312 
54.77/25.78	c (5,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
54.77/25.78	c (5,0) c Total Memory so far : 1426.42Mb
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c real time : 5.53578 s
54.77/25.78	c (5,0) c cpu time  : 14.2443 s
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.77/25.78	c (5,0) c
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) c | Conflicts     |           18927 |       1420 |       1346 |       2270 |        838 |       6409 |       1367 |       3786 |       1491 |
54.77/25.78	c (5,0) c | Decisions     |          199871 |      23430 |      28032 |      26148 |      28377 |      28095 |      21699 |      24016 |      20074 |
54.77/25.78	c (5,0) c | Propagations  |        25618711 |    2649338 |    3118410 |    3369726 |    3196961 |    4174882 |    2563679 |    3910220 |    2635495 |
54.77/25.78	c (5,0) c | Avg_Trail     |                 |      29174 |      31231 |      30090 |      35751 |      17138 |      29455 |      27874 |      30599 |
54.77/25.78	c (5,0) c | Avg_DL        |                 |        433 |        316 |        226 |        342 |        105 |        341 |        290 |        342 |
54.77/25.78	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.77/25.78	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) c | Exported      |             774 |         89 |        107 |         57 |        121 |        198 |         75 |         54 |         73 |
54.77/25.78	c (5,0) c | Imported      |            4951 |        622 |        505 |        670 |        621 |        564 |        669 |        647 |        653 |
54.77/25.78	c (5,0) c | Good          |            3661 |        446 |        355 |        484 |        432 |        503 |        487 |        475 |        479 |
54.77/25.78	c (5,0) c | Purge         |            1290 |        176 |        150 |        186 |        189 |         61 |        182 |        172 |        174 |
54.77/25.78	c (5,0) c | Promoted      |               5 |          0 |          0 |          0 |          0 |          0 |          3 |          0 |          2 |
54.77/25.78	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.77/25.78	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.77/25.78	c (5,0) c | Binaries      |                 |         80 |        103 |         52 |        114 |         53 |         61 |         41 |         64 |
54.77/25.78	c (5,0) c | Glues         |                 |         89 |        107 |         57 |        121 |         71 |         75 |         54 |         73 |
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) c | Orig_Seen     |             0 % |       8538 |       9793 |      12892 |      10750 |      10101 |      11262 |      13060 |      10850 |
54.77/25.78	c (5,0) c | Diff Orig seen|                 | -     4522 | -     3267 | -      168 | -     2310 | -     2959 | -     1798 |      X     | -     2210 |
54.77/25.78	c (5,0) c | Hamming       |             7 % |       7456 |       5506 |       6914 |       5312 |       6840 |       5991 |      X     |       6351 |
54.77/25.78	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.77/25.78	c (5,0) 
54.77/25.78	c (5,0) s SATISFIABLE
55.45/25.87	c (6,0) SatSolver.solve End
55.45/25.87	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.45/25.87	c (6,0) Show results Begin
55.73/25.96	s SATISFIABLE
55.73/26.00	v <instantiation>
55.73/26.00	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>
55.73/26.00	v     <values>1 16 4 7 1 5 10 1 5 1 4 5 1 7 4 1 19 1 7 1 5 1 1 3 5 1 1 5 12 1 5 1 1 5 4 16 1 2 5 1 2 5 1 1 5 1 1 5 4 16 6 7 17 1 2 17 8 17 1 6 7 16 1 1 5 1 1 9 1 17 18 16 4 11 1 1 5 1 1 5 1 7 16 21 1 17 1 1 5 1 17 1 14 17 1 6 7 1 1 5 10 1 11 1 1 17 1 17 1 5 1 0 1 13 16 1 1 17 5 2 17 5 1 17 7 4 18 17 1 8 7 1 1 5 1 1 5 10 16 1 5 7 1 1 5 1 1 5 23 0 2 1 5 17 1 1 5 1 0 7 1 8 16 1 1 17 22 4 16 1 1 5 10 16 23 1 5 1 1 5 1 1 14 1 20 5 1 1 5 1 1 16 14 1 1 5 15 1 5 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 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 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 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 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 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 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 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 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 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 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0</values>
55.73/26.00	v </instantiation>
55.73/26.00	c (6,0) Show results End
55.73/26.00	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
55.73/26.00	c (6,0) 6,6,STOP-AFTER(ALL)
55.73/26.00	c END-Prog: Mon Aug 13 23:22:36 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-4307081-1534195330/watcher-4307081-1534195330 -o /tmp/evaluation-result-4307081-1534195330/solver-4307081-1534195330 -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-4307081-1534195330.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 8.44 8.36 7.13 2/205 3511
/proc/meminfo: memFree=23914156/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237096194 115843072 349 33554432000 4194304 5098028 140722638095648 140722638092904 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 349 296 221 0 87 0
[pid=3492] ppid=3489 vsize=27313900 memory=109868 CPUtime=0.1 cores=0-7
/proc/3492/stat : 3492 (java) S 3489 3489 1330 0 -1 1077944320 6397 0 0 0 7 3 0 0 20 0 20 0 237096194 27969433600 27467 33554432000 4194304 4196468 140734667767152 140734667749696 140328093257463 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
/proc/3492/statm: 6828475 27467 2740 1 0 6790935 0
[pid=3492/tid=3493] ppid=3489 vsize=27313900 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3492/task/3493/stat : 3493 (java) R 3489 3489 1330 0 -1 4202560 4519 0 0 0 6 3 0 0 20 0 20 0 237096195 27969433600 27467 33554432000 4194304 4196468 140734667767152 140328065092592 140328077337980 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3494] ppid=3489 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3492/task/3494/stat : 3494 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140328097499792 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3495] ppid=3489 vsize=27313900 memory=139807121127040 CPUtime=0 cores=0-7
/proc/3492/task/3495/stat : 3495 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327924316688 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3496] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3496/stat : 3496 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327514622352 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3497] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3497/stat : 3497 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327513569552 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3498] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3498/stat : 3498 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327512517776 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3499] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3499/stat : 3499 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327511464976 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3500] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3500/stat : 3500 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327510412176 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3501] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3501/stat : 3501 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 27467 33554432000 4194304 4196468 140734667767152 140327509359376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3502] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3502/stat : 3502 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 27467 33554432000 4194304 4196468 140734667767152 140326212225392 140328093268610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3503] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3503/stat : 3503 (java) S 3489 3489 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 27467 33554432000 4194304 4196468 140734667767152 140326043903008 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3504] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3504/stat : 3504 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 27467 33554432000 4194304 4196468 140734667767152 140325775467376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3505] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3505/stat : 3505 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27467 33554432000 4194304 4196468 140734667767152 140325400958800 140328093276059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3506] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3506/stat : 3506 (java) S 3489 3489 1330 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140326211173232 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3507] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3507/stat : 3507 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140326210120432 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3508] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3508/stat : 3508 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140326209067632 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3509] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3509/stat : 3509 (java) S 3489 3489 1330 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140326208014832 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3510] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3510/stat : 3510 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140324903053920 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3511] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3511/stat : 3511 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 27532 33554432000 4194304 4196468 140734667767152 140326206962224 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 111264 KiB

[startup+0.210749 s]*
/proc/loadavg: 8.44 8.36 7.13 2/205 3511
/proc/meminfo: memFree=23897784/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237096194 115843072 349 33554432000 4194304 5098028 140722638095648 140722638092904 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 349 296 221 0 87 0
[pid=3492] ppid=3489 vsize=27313900 memory=123952 CPUtime=0.25 cores=0-7
/proc/3492/stat : 3492 (java) S 3489 3489 1330 0 -1 1077944320 10261 0 0 0 20 5 0 0 20 0 20 0 237096194 27969433600 30988 33554432000 4194304 4196468 140734667767152 140734667749696 140328093257463 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
/proc/3492/statm: 6828475 30988 2836 1 0 6790935 0
[pid=3492/tid=3493] ppid=3489 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3492/task/3493/stat : 3493 (java) R 3489 3489 1330 0 -1 4202560 8153 0 0 0 15 4 0 0 20 0 20 0 237096195 27969433600 30988 33554432000 4194304 4196468 140734667767152 140328065066208 140328085494590 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3494] ppid=3489 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/3492/task/3494/stat : 3494 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140328097499792 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3495] ppid=3489 vsize=27313900 memory=139807121130708 CPUtime=0 cores=0-7
/proc/3492/task/3495/stat : 3495 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327924316688 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3496] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3496/stat : 3496 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327514622352 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3497] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3497/stat : 3497 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327513569552 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3498] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3498/stat : 3498 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327512517776 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3499] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3499/stat : 3499 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327511464976 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3500] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3500/stat : 3500 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327510412176 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3501] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3501/stat : 3501 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 30988 33554432000 4194304 4196468 140734667767152 140327509359376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3502] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3502/stat : 3502 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326212225392 140328093268610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3503] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3503/stat : 3503 (java) S 3489 3489 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326043903008 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3504] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3504/stat : 3504 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 30988 33554432000 4194304 4196468 140734667767152 140325775467376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3505] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3505/stat : 3505 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140325400958800 140328093276059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3506] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3506/stat : 3506 (java) S 3489 3489 1330 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326211173232 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3507] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3507/stat : 3507 (java) S 3489 3489 1330 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326210120432 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3508] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3508/stat : 3508 (java) S 3489 3489 1330 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326209067632 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3509] ppid=3489 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/3492/task/3509/stat : 3509 (java) R 3489 3489 1330 0 -1 4202560 292 0 0 0 2 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326208014832 140328072215720 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3510] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3510/stat : 3510 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140324903053920 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3511] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3511/stat : 3511 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 30988 33554432000 4194304 4196468 140734667767152 140326206962224 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125348 KiB

[startup+0.310695 s]*
/proc/loadavg: 8.44 8.36 7.13 2/205 3511
/proc/meminfo: memFree=23894372/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237096194 115843072 349 33554432000 4194304 5098028 140722638095648 140722638092904 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 349 296 221 0 87 0
[pid=3492] ppid=3489 vsize=27313900 memory=128256 CPUtime=0.42 cores=0-7
/proc/3492/stat : 3492 (java) S 3489 3489 1330 0 -1 1077944320 10818 0 0 0 37 5 0 0 20 0 20 0 237096194 27969433600 32064 33554432000 4194304 4196468 140734667767152 140734667749696 140328093257463 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
/proc/3492/statm: 6828475 32064 2996 1 0 6790935 0
[pid=3492/tid=3493] ppid=3489 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3492/task/3493/stat : 3493 (java) R 3489 3489 1330 0 -1 4202560 8530 0 0 0 25 4 0 0 20 0 20 0 237096195 27969433600 32064 33554432000 4194304 4196468 140734667767152 140328065052912 140328073533128 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3494] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3494/stat : 3494 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140328097499792 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3495] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3495/stat : 3495 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327924316688 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3496] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3496/stat : 3496 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327514622352 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3497] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3497/stat : 3497 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327513569552 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3498] ppid=3489 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/3492/task/3498/stat : 3498 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327512517776 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3499] ppid=3489 vsize=27313900 memory=139807024051119 CPUtime=0 cores=0-7
/proc/3492/task/3499/stat : 3499 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327511464976 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3500] ppid=3489 vsize=27313900 memory=139807024053424 CPUtime=0 cores=0-7
/proc/3492/task/3500/stat : 3500 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327510412176 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3501] ppid=3489 vsize=27313900 memory=139807024055728 CPUtime=0 cores=0-7
/proc/3492/task/3501/stat : 3501 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096197 27969433600 32064 33554432000 4194304 4196468 140734667767152 140327509359376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3502] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3502/stat : 3502 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326212225392 140328093268610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3503] ppid=3489 vsize=27313900 memory=279614048118416 CPUtime=0 cores=0-7
/proc/3492/task/3503/stat : 3503 (java) S 3489 3489 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326043903008 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3504] ppid=3489 vsize=27313900 memory=279614048125328 CPUtime=0 cores=0-7
/proc/3492/task/3504/stat : 3504 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096199 27969433600 32064 33554432000 4194304 4196468 140734667767152 140325775467376 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3505] ppid=3489 vsize=27313900 memory=279614048066608 CPUtime=0 cores=0-7
/proc/3492/task/3505/stat : 3505 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140325400958800 140328093276059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3506] ppid=3489 vsize=27313900 memory=279614048139152 CPUtime=0.01 cores=0-7
/proc/3492/task/3506/stat : 3506 (java) S 3489 3489 1330 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326211173232 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3507] ppid=3489 vsize=27313900 memory=279614048146064 CPUtime=0.01 cores=0-7
/proc/3492/task/3507/stat : 3507 (java) S 3489 3489 1330 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326210120432 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3508] ppid=3489 vsize=27313900 memory=279614048143760 CPUtime=0.01 cores=0-7
/proc/3492/task/3508/stat : 3508 (java) S 3489 3489 1330 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326209067632 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3509] ppid=3489 vsize=27313900 memory=279614048159920 CPUtime=0.07 cores=0-7
/proc/3492/task/3509/stat : 3509 (java) S 3489 3489 1330 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326208014832 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3510] ppid=3489 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3510/stat : 3510 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140324903053920 140328093267669 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3511] ppid=3489 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3492/task/3511/stat : 3511 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096202 27969433600 32064 33554432000 4194304 4196468 140734667767152 140326206962224 140328093268610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129652 KiB

[startup+0.703975 s]
/proc/loadavg: 8.44 8.36 7.13 2/205 3511
/proc/meminfo: memFree=23869900/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237096194 115843072 349 33554432000 4194304 5098028 140722638095648 140722638092904 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 349 296 221 0 87 0
[pid=3492] ppid=3489 vsize=27320172 memory=166972 CPUtime=1.03 cores=0-7
/proc/3492/stat : 3492 (java) S 3489 3489 1330 0 -1 1077944320 17682 0 0 0 96 7 0 0 20 0 20 0 237096194 27975856128 41743 33554432000 4194304 4196468 140734667767152 140734667749696 140328093257463 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
/proc/3492/statm: 6830043 41743 3131 1 0 6791447 0
[pid=3492/tid=3493] ppid=3489 vsize=27320172 memory=279614048517808 CPUtime=0.67 cores=0-7
/proc/3492/task/3493/stat : 3493 (java) R 3489 3489 1330 0 -1 4202560 14914 0 0 0 61 6 0 0 20 0 20 0 237096195 27975856128 41743 33554432000 4194304 4196468 140734667767152 140328065096288 140328077337950 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3494] ppid=3489 vsize=27320172 memory=139807024259952 CPUtime=0 cores=0-7
/proc/3492/task/3494/stat : 3494 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237096197 27975856128 41743 33554432000 4194304 4196468 140734667767152 140328097499792 140328093267669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3495] ppid=3489 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/3492/task/3495/stat : 3495 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27975856128 41743 33554432000 4194304 4196468 140734667767152 140327924316688 140328093267669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0
[pid=3492/tid=3496] ppid=3489 vsize=27320172 memory=1912 CPUtime=0 cores=0-7
/proc/3492/task/3496/stat : 3496 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237096197 27975856128 41743 33554432000 4194304 4196468 140734667767152 140327514622352 140328093267669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140734667772905 140734667773229 140734667773229 140734667775951 0

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

/proc/3512/task/3528/stat : 3528 (java) S 3489 3489 1330 0 -1 1077944384 342 0 0 0 12 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970814580848 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3529] ppid=3489 vsize=8413904 memory=157852 CPUtime=0.23 cores=0-7
/proc/3512/task/3529/stat : 3529 (java) S 3489 3489 1330 0 -1 1077944384 604 0 0 0 23 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970813528048 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3530] ppid=3489 vsize=8413904 memory=1776 CPUtime=0 cores=0-7
/proc/3512/task/3530/stat : 3530 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968890530912 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3531] ppid=3489 vsize=8413904 memory=3708 CPUtime=0 cores=0-7
/proc/3512/task/3531/stat : 3531 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098146 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970812476464 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3533] ppid=3489 vsize=8413904 memory=12 CPUtime=0 cores=0-7
/proc/3512/task/3533/stat : 3533 (java) S 3489 3489 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970904077888 139971590631193 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3535] ppid=3489 vsize=8413904 memory=11 CPUtime=0 cores=0-7
/proc/3512/task/3535/stat : 3535 (java) S 3489 3489 1330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968219430576 139971590628509 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3536] ppid=3489 vsize=8413904 memory=12 CPUtime=0 cores=0-7
/proc/3512/task/3536/stat : 3536 (java) S 3489 3489 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968487865904 139971590628509 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3537] ppid=3489 vsize=8413904 memory=23 CPUtime=0 cores=0-7
/proc/3512/task/3537/stat : 3537 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098221 8615837696 31503 33554432000 4194304 4196468 140720418767472 139967951002656 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
Current children cumulated CPU time: 53.2 s
Current children cumulated vsize: 9986344 KiB
Current children cumulated memory: 1010184 KiB

[startup+26.0221 s]
# the end of solver process 3489 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=53.4202 s, system=2.63327 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6026 s]
/proc/loadavg: 5.96 7.79 6.98 9/218 3545
/proc/meminfo: memFree=22968020/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1472 CPUtime=38.87 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 590 47980 0 1 0 0 3727 160 20 0 1 0 237096194 115843072 368 33554432000 4194304 5098028 140722638095648 140722638092392 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 368 311 221 0 87 0
[pid=3512] ppid=3489 vsize=8413904 memory=126012 CPUtime=1.43 cores=0-7
/proc/3512/stat : 3512 (java) S 3489 3489 1330 0 -1 1077944320 18769 0 0 0 135 8 0 0 20 0 24 0 237098139 8615837696 31503 33554432000 4194304 4196468 140720418767472 140720418750016 139971590606583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
/proc/3512/statm: 2103476 31503 3146 1 0 2064875 0
[pid=3532] ppid=3512 vsize=1459716 memory=883364 CPUtime=13.68 cores=0-7
/proc/3532/stat : 3532 (glucose-syrup) S 3512 3489 1330 0 -1 1077944320 291226 0 0 0 1289 79 0 0 20 0 9 0 237098218 1494749184 220841 33554432000 4194304 4373367 140726734226320 140726734224864 140061211814530 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
/proc/3532/statm: 364929 220841 385 44 0 360617 0
[pid=3532/tid=3538] ppid=3512 vsize=1459716 memory=6944656592455097440 CPUtime=1.2 cores=0-7
/proc/3532/task/3538/stat : 3538 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 3016 0 0 0 118 2 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060821769096 4271619 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3539] ppid=3512 vsize=1459716 memory=6944656575208382560 CPUtime=1.18 cores=0-7
/proc/3532/task/3539/stat : 3539 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 9229 0 0 0 116 2 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060813376392 4259410 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3540] ppid=3512 vsize=1459716 memory=279614047912176 CPUtime=1.19 cores=0-7
/proc/3532/task/3540/stat : 3540 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 15137 0 0 0 106 13 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060804983688 4271753 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3541] ppid=3512 vsize=1459716 memory=279614047912176 CPUtime=1.18 cores=0-7
/proc/3532/task/3541/stat : 3541 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 15226 0 0 0 115 3 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060796591304 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3542] ppid=3512 vsize=1459716 memory=8112282956445269571 CPUtime=1.16 cores=0-7
/proc/3532/task/3542/stat : 3542 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 13230 0 0 0 113 3 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060788198280 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3543] ppid=3512 vsize=1459716 memory=2039804 CPUtime=1.19 cores=0-7
/proc/3532/task/3543/stat : 3543 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 12873 0 0 0 109 10 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060779805576 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3544] ppid=3512 vsize=1459716 memory=4960 CPUtime=1.19 cores=0-7
/proc/3532/task/3544/stat : 3544 (glucose-syrup) R 3512 3489 1330 0 -1 4202560 11659 0 0 0 116 3 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060771412872 140061197110719 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3532/tid=3545] ppid=3512 vsize=1459716 memory=3840 CPUtime=1.2 cores=0-7
/proc/3532/task/3545/stat : 3545 (glucose-syrup) R 3512 3489 1330 0 -1 12591168 11979 0 0 0 110 10 0 0 20 0 9 0 237098631 1494749184 220841 33554432000 4194304 4373367 140726734226320 140060695456648 4272341 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 39882752 140726734234705 140726734234836 140726734234836 140726734237639 0
[pid=3512/tid=3513] ppid=3489 vsize=8413904 memory=1280 CPUtime=0.81 cores=0-7
/proc/3512/task/3513/stat : 3513 (java) S 3489 3489 1330 0 -1 1077944384 15094 0 0 0 76 5 0 0 20 0 24 0 237098139 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971562446736 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3514] ppid=3489 vsize=8413904 memory=1152 CPUtime=0 cores=0-7
/proc/3512/task/3514/stat : 3514 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237098140 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971594849424 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3515] ppid=3489 vsize=8413904 memory=279614047970240 CPUtime=0 cores=0-7
/proc/3512/task/3515/stat : 3515 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237098140 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971395017744 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3516] ppid=3489 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/3512/task/3516/stat : 3516 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237098140 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971393964944 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3517] ppid=3489 vsize=8413904 memory=126012 CPUtime=0 cores=0-7
/proc/3512/task/3517/stat : 3517 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098140 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971392912144 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3518] ppid=3489 vsize=8413904 memory=184912 CPUtime=0 cores=0-7
/proc/3512/task/3518/stat : 3518 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237098141 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971391859344 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3519] ppid=3489 vsize=8413904 memory=6228309395439577960 CPUtime=0 cores=0-7
/proc/3512/task/3519/stat : 3519 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237098141 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971390806544 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3520] ppid=3489 vsize=8413904 memory=7367994819987136845 CPUtime=0 cores=0-7
/proc/3512/task/3520/stat : 3520 (java) S 3489 3489 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237098141 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971389753744 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3521] ppid=3489 vsize=8413904 memory=6441958824087021666 CPUtime=0 cores=0-7
/proc/3512/task/3521/stat : 3521 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237098141 8615837696 31503 33554432000 4194304 4196468 140720418767472 139971388700944 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3522] ppid=3489 vsize=8413904 memory=126012 CPUtime=0 cores=0-7
/proc/3512/task/3522/stat : 3522 (java) S 3489 3489 1330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 237098142 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970817739632 139971590617730 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3523] ppid=3489 vsize=8413904 memory=4960 CPUtime=0 cores=0-7
/proc/3512/task/3523/stat : 3523 (java) S 3489 3489 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237098142 8615837696 31503 33554432000 4194304 4196468 140720418767472 139969897162272 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3524] ppid=3489 vsize=8413904 memory=3840 CPUtime=0 cores=0-7
/proc/3512/task/3524/stat : 3524 (java) S 3489 3489 1330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237098143 8615837696 31503 33554432000 4194304 4196468 140720418767472 139969762940272 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3525] ppid=3489 vsize=8413904 memory=1280 CPUtime=0 cores=0-7
/proc/3512/task/3525/stat : 3525 (java) S 3489 3489 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139969388435792 139971590625179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3526] ppid=3489 vsize=8413904 memory=1152 CPUtime=0.12 cores=0-7
/proc/3512/task/3526/stat : 3526 (java) S 3489 3489 1330 0 -1 1077944384 613 0 0 0 12 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970816686448 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3527] ppid=3489 vsize=8413904 memory=876 CPUtime=0.11 cores=0-7
/proc/3512/task/3527/stat : 3527 (java) S 3489 3489 1330 0 -1 1077944384 698 0 0 0 11 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970815633648 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3528] ppid=3489 vsize=8413904 memory=1912 CPUtime=0.12 cores=0-7
/proc/3512/task/3528/stat : 3528 (java) S 3489 3489 1330 0 -1 1077944384 342 0 0 0 12 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970814580848 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3529] ppid=3489 vsize=8413904 memory=1120 CPUtime=0.23 cores=0-7
/proc/3512/task/3529/stat : 3529 (java) S 3489 3489 1330 0 -1 1077944384 604 0 0 0 23 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970813528048 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3530] ppid=3489 vsize=8413904 memory=139807023979719 CPUtime=0 cores=0-7
/proc/3512/task/3530/stat : 3530 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098145 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968890530912 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3531] ppid=3489 vsize=8413904 memory=-7595761213668167008 CPUtime=0 cores=0-7
/proc/3512/task/3531/stat : 3531 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098146 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970812476464 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3533] ppid=3489 vsize=8413904 memory=-7029379521808015264 CPUtime=0 cores=0-7
/proc/3512/task/3533/stat : 3533 (java) S 3489 3489 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139970904077888 139971590631193 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3535] ppid=3489 vsize=8413904 memory=8259761640030508194 CPUtime=0 cores=0-7
/proc/3512/task/3535/stat : 3535 (java) S 3489 3489 1330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968219430576 139971590628509 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3536] ppid=3489 vsize=8413904 memory=-7029379521810554678 CPUtime=0 cores=0-7
/proc/3512/task/3536/stat : 3536 (java) S 3489 3489 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237098219 8615837696 31503 33554432000 4194304 4196468 140720418767472 139968487865904 139971590628509 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3537] ppid=3489 vsize=8413904 memory=1399051139730258233 CPUtime=0 cores=0-7
/proc/3512/task/3537/stat : 3537 (java) S 3489 3489 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237098221 8615837696 31503 33554432000 4194304 4196468 140720418767472 139967951002656 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
Current children cumulated CPU time: 53.98 s
Current children cumulated vsize: 9986748 KiB
Current children cumulated memory: 1010848 KiB

[startup+26.0011 s]*
/proc/loadavg: 5.96 7.79 6.98 4/207 3545
/proc/meminfo: memFree=23815600/32770624 swapFree=67108852/67108860
[pid=3489] ppid=3486 vsize=113128 memory=1472 CPUtime=38.87 cores=0-7
/proc/3489/stat : 3489 (scop.sh) S 3486 3489 1330 0 -1 4202496 590 47980 0 1 0 0 3727 160 20 0 1 0 237096194 115843072 368 33554432000 4194304 5098028 140722638095648 140722638092392 140249974366844 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32215040 140722638103586 140722638103811 140722638103811 140722638106573 0
/proc/3489/statm: 28282 368 311 221 0 87 0
[pid=3512] ppid=3489 vsize=8282828 memory=154724 CPUtime=17.14 cores=0-7
/proc/3512/stat : 3512 (java) S 3489 3489 1330 0 -1 1077944320 20268 299043 0 0 188 10 1426 90 20 0 22 0 237098139 8481615872 38681 33554432000 4194304 4196468 140720418767472 140720418750016 139971590606583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
/proc/3512/statm: 2070707 38681 3180 1 0 2032106 0
[pid=3512/tid=3513] ppid=3489 vsize=8282828 memory=8112282956445269571 CPUtime=16.11 cores=0-7
/proc/3512/task/3513/stat : 3513 (java) R 3489 3489 1330 0 -1 4202560 15324 299043 0 0 89 6 1426 90 20 0 22 0 237098139 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971562442896 139971583292215 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3514] ppid=3489 vsize=8282828 memory=4126316290023845779 CPUtime=15.16 cores=0-7
/proc/3512/task/3514/stat : 3514 (java) S 3489 3489 1330 0 -1 1077944384 2 299043 0 0 0 0 1426 90 20 0 22 0 237098140 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971594849424 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3515] ppid=3489 vsize=8282828 memory=288230574492221466 CPUtime=15.16 cores=0-7
/proc/3512/task/3515/stat : 3515 (java) S 3489 3489 1330 0 -1 1077944384 2 299043 0 0 0 0 1426 90 20 0 22 0 237098140 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971395017744 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3516] ppid=3489 vsize=8282828 memory=288230583166042426 CPUtime=15.16 cores=0-7
/proc/3512/task/3516/stat : 3516 (java) S 3489 3489 1330 0 -1 1077944384 1 299043 0 0 0 0 1426 90 20 0 22 0 237098140 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971393964944 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3517] ppid=3489 vsize=8282828 memory=16097065801352663 CPUtime=15.16 cores=0-7
/proc/3512/task/3517/stat : 3517 (java) S 3489 3489 1330 0 -1 1077944384 3 299043 0 0 0 0 1426 90 20 0 22 0 237098140 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971392912144 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3518] ppid=3489 vsize=8282828 memory=1280 CPUtime=15.16 cores=0-7
/proc/3512/task/3518/stat : 3518 (java) S 3489 3489 1330 0 -1 1077944384 2 299043 0 0 0 0 1426 90 20 0 22 0 237098141 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971391859344 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3519] ppid=3489 vsize=8282828 memory=1152 CPUtime=15.16 cores=0-7
/proc/3512/task/3519/stat : 3519 (java) S 3489 3489 1330 0 -1 1077944384 1 299043 0 0 0 0 1426 90 20 0 22 0 237098141 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971390806544 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3520] ppid=3489 vsize=8282828 memory=876 CPUtime=15.16 cores=0-7
/proc/3512/task/3520/stat : 3520 (java) S 3489 3489 1330 0 -1 1077944384 2 299043 0 0 0 0 1426 90 20 0 22 0 237098141 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971389753744 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3521] ppid=3489 vsize=8282828 memory=0 CPUtime=15.16 cores=0-7
/proc/3512/task/3521/stat : 3521 (java) S 3489 3489 1330 0 -1 1077944384 1 299043 0 0 0 0 1426 90 20 0 22 0 237098141 8481615872 38681 33554432000 4194304 4196468 140720418767472 139971388700944 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3522] ppid=3489 vsize=8282828 memory=7594869342167853393 CPUtime=15.16 cores=0-7
/proc/3512/task/3522/stat : 3522 (java) S 3489 3489 1330 0 -1 1077944384 5 299043 0 0 0 0 1426 90 20 0 22 0 237098142 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970817739632 139971590617730 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3523] ppid=3489 vsize=8282828 memory=7594869342167853393 CPUtime=15.16 cores=0-7
/proc/3512/task/3523/stat : 3523 (java) S 3489 3489 1330 0 -1 1077944384 13 299043 0 0 0 0 1426 90 20 0 22 0 237098142 8481615872 38681 33554432000 4194304 4196468 140720418767472 139969897162272 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3524] ppid=3489 vsize=8282828 memory=7667215021271312721 CPUtime=15.16 cores=0-7
/proc/3512/task/3524/stat : 3524 (java) S 3489 3489 1330 0 -1 1077944384 21 299043 0 0 0 0 1426 90 20 0 22 0 237098143 8481615872 38681 33554432000 4194304 4196468 140720418767472 139969762940272 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3525] ppid=3489 vsize=8282828 memory=7521391166356090991 CPUtime=15.16 cores=0-7
/proc/3512/task/3525/stat : 3525 (java) S 3489 3489 1330 0 -1 1077944384 1 299043 0 0 0 0 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139969388435792 139971590625179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3526] ppid=3489 vsize=8282828 memory=7883385591392792403 CPUtime=15.35 cores=0-7
/proc/3512/task/3526/stat : 3526 (java) S 3489 3489 1330 0 -1 1077944384 682 299043 0 0 19 0 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970816686448 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3527] ppid=3489 vsize=8282828 memory=279614047916016 CPUtime=15.35 cores=0-7
/proc/3512/task/3527/stat : 3527 (java) S 3489 3489 1330 0 -1 1077944384 754 299043 0 0 19 0 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970815633648 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3528] ppid=3489 vsize=8282828 memory=17147052952298 CPUtime=15.33 cores=0-7
/proc/3512/task/3528/stat : 3528 (java) S 3489 3489 1330 0 -1 1077944384 664 299043 0 0 17 0 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970814580848 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3529] ppid=3489 vsize=8282828 memory=17159937854186 CPUtime=15.5 cores=0-7
/proc/3512/task/3529/stat : 3529 (java) S 3489 3489 1330 0 -1 1077944384 1368 299043 0 0 33 1 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970813528048 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3530] ppid=3489 vsize=8282828 memory=17172822756074 CPUtime=15.16 cores=0-7
/proc/3512/task/3530/stat : 3530 (java) S 3489 3489 1330 0 -1 1077944384 3 299043 0 0 0 0 1426 90 20 0 22 0 237098145 8481615872 38681 33554432000 4194304 4196468 140720418767472 139968890530912 139971590616789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3531] ppid=3489 vsize=8282828 memory=17172822756074 CPUtime=15.16 cores=0-7
/proc/3512/task/3531/stat : 3531 (java) S 3489 3489 1330 0 -1 1077944384 3 299043 0 0 0 0 1426 90 20 0 22 0 237098146 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970812476464 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3533] ppid=3489 vsize=8282828 memory=17172822756074 CPUtime=15.16 cores=0-7
/proc/3512/task/3533/stat : 3533 (java) S 3489 3489 1330 0 -1 1077944384 23 299043 0 0 0 0 1426 90 20 0 22 0 237098219 8481615872 38681 33554432000 4194304 4196468 140720418767472 139970904077072 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
[pid=3512/tid=3537] ppid=3489 vsize=8282828 memory=17172822756074 CPUtime=15.16 cores=0-7
/proc/3512/task/3537/stat : 3537 (java) S 3489 3489 1330 0 -1 1077944384 7 299043 0 0 0 0 1426 90 20 0 22 0 237098221 8481615872 38681 33554432000 4194304 4196468 140720418767472 139967951004464 139971590617730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140720418776242 140720418776365 140720418776365 140720418779087 0
Current children cumulated CPU time: 56.01 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 156196 KiB

Child status: 0
Real time (s): 26.0222
CPU time (s): 56.0534
CPU user time (s): 53.4202
CPU system time (s): 2.63327
CPU usage (%): 215.406
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6034516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.4202
system time used= 2.63327
maximum resident set size= 6033120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367897
page faults= 1
swaps= 0
block input operations= 440
block output operations= 107032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43977
involuntary context switches= 195


# summary of solver processes directly reported to runsolver:
#   pid: 3489
#   total CPU time (s): 56.0534
#   total CPU user time (s): 53.4202
#   total CPU system time (s): 2.63327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.226619 second user time and 0.307942 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-13 23:22:10
IDJOB=4307081
IDBENCH=141448
IDSOLVER=2788
FILE ID=node133/4307081-1534195330
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-60-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-4307081-1534195330/watcher-4307081-1534195330 -o /tmp/evaluation-result-4307081-1534195330/solver-4307081-1534195330 -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-4307081-1534195330.xml

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=294261390

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:        24010996 kB
MemAvailable:   31901532 kB
Buffers:           92596 kB
Cached:          8026928 kB
SwapCached:            4 kB
Active:          4083176 kB
Inactive:        4089912 kB
Active(anon):       2264 kB
Inactive(anon):   103864 kB
Active(file):    4080912 kB
Inactive(file):  3986048 kB
Unevictable:        7068 kB
Mlocked:            7068 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              8180 kB
Writeback:             0 kB
AnonPages:         61060 kB
Mapped:            53976 kB
Shmem:             49816 kB
Slab:             280076 kB
SReclaimable:     252036 kB
SUnreclaim:        28040 kB
KernelStack:        3312 kB
PageTables:         4632 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:22:37