Trace number 4307526

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 both+glucose-syrup (2018-07-31)SAT 90.6102 31.6722

General information on the benchmark

NameMisteryShopper/
MisteryShopper-12_c18.xml
MD5SUM193461ec87a084283094d7342f0c20d4
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 benchmark14.7049
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints741
Number of domains3
Minimum domain size5
Maximum domain size60
Distribution of domain sizes[{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}]
Minimum constraint arity2
Maximum constraint arity300
Distribution of constraint arities[{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}]
Number of extensional constraints600
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-23606-serial-file.bin HOME/instance-4307526-1534192672.xml
0.65/0.53	
0.65/0.54	scop both+glucose-syrup (2018-07-31)
0.65/0.54	(Encoding Process)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 22:37:52 CEST 2018
0.65/0.56	c PID: 23609
0.65/0.56	c IP: 172.20.3.132
0.65/0.56	c HOST: node132.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.77/1.41	c (0,0) Parsing End
3.77/1.42	c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60
3.77/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.77/1.42	c (0,0) Constraint Name Generate Begin
3.77/1.44	c (0,0) Ctr:HOME/instance-4307526-1534192672.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.77/1.44	c (0,0) Constraint Name Generate End
3.77/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.77/1.44	c (0,0) CSP to CSPinCNF Begin
6.75/2.35	c (1,1) translated 75 (10%) constraints
12.23/5.27	c (4,4) translated 149 (20%) constraints
13.55/5.52	c (4,4) translated 223 (30%) constraints
13.96/5.68	c (5,5) translated 297 (40%) constraints
14.77/5.83	c (5,5) translated 371 (50%) constraints
15.08/5.96	c (5,5) translated 445 (60%) constraints
15.45/6.09	c (5,5) translated 519 (70%) constraints
16.08/6.22	c (5,5) translated 593 (80%) constraints
16.41/6.35	c (5,5) translated 667 (90%) constraints
16.77/6.48	c (5,5) translated 741 (100%) constraints
18.48/7.00	c (6,6) STATISTICS1:HOME/instance-4307526-1534192672.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4909,68724,60,60,60,2,60:17143;59:350;58:302;57:307;56:625;6:600;5:600,60:116133;59:1227;58:1029;57:1029;56:2036;6:4800;5:4200;2:16527,60:20;7:300;6:300;5:240;4:409;3:40263;2:27109;1:83,2:19927;1:143127;0:600,
18.48/7.00	c (6,6) ==========================================
18.48/7.00	c (6,6) Both Encoding selects:
18.48/7.00	c (6,6) Order
18.48/7.00	c (6,6) ==========================================
19.44/7.30	c (6,6) translated 6873 (10%) constraints
20.07/7.49	c (6,6) translated 13745 (20%) constraints
20.65/7.77	c (7,7) translated 20618 (30%) constraints
21.55/8.29	c (7,7) translated 27490 (40%) constraints
22.07/8.79	c (8,8) translated 34362 (50%) constraints
22.70/9.31	c (8,8) translated 41235 (60%) constraints
23.10/9.79	c (9,9) translated 48107 (70%) constraints
23.60/10.28	c (9,9) translated 54980 (80%) constraints
24.07/10.49	c (9,9) translated 61852 (90%) constraints
24.54/10.60	c (10,10) translated 68724 (100%) constraints
24.54/10.60	c (10,10) CSP to CSPinCNF End
24.54/10.62	c (10,10) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60
24.54/10.62	c (10,10) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.54/10.62	c (10,10) CSPinCNF Propagation Begin
26.80/11.53	c (10,10) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed
26.80/11.53	c (10,10) CSPinCNF Propagation End
26.80/11.54	c (11,10) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60
26.80/11.54	c (11,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.80/11.54	c (11,10) Simplify CSPinCNF Begin
28.23/12.53	c (11,11) Simplify CSPinCNF End
28.23/12.55	c (12,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
28.23/12.55	c (12,11) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.23/12.55	c (12,11) Calculate Precise Domain Begin
28.23/12.56	c (12,11) 0 values are removed by re-calculation
28.23/12.56	c (12,11) Calculate Precise Domain End
28.23/12.58	c (12,12) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
28.23/12.58	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.23/12.58	c (12,12) CSPinCNF to SatSolver Begin
32.72/14.82	c (14,14) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses)
34.46/16.84	c (16,15) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses)
36.16/18.54	c (18,17) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses)
36.27/18.66	c (18,17) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses)
36.37/18.73	c (18,17) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses)
36.47/18.81	c (18,17) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses)
36.47/18.88	c (18,17) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses)
36.57/18.96	c (18,17) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses)
36.67/19.04	c (18,18) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses)
36.86/19.27	c (18,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses)
36.86/19.27	c (18,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
36.86/19.27	c (18,18) CSPinCNF to SatSolver End
36.86/19.27	c (18,18) Heap : 5144 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
38.07/19.84	c (19,18) STATISTICS2:HOME/instance-4307526-1534192672.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,79244,177445,60,60,60,2,60:30958;59:670;58:1249;57:1162;56:2388;6:1200;5:1200,60:208691;59:2227;58:4057;57:3649;56:7216;6:6000;5:5400;2:200017,60:5;56:14;54:1;6:300;5:540;4:409;3:38887;2:137206;1:83,2:38827;1:359603,
38.07/19.84	c (19,18) 115868 bool, 2357337 clause
38.07/19.84	c (19,18) Export Begin
38.23/20.00	c (19,18) Export to HOME/scop-23606-serial-file.bin
38.23/20.00	c (19,18) Export End
38.23/20.00	c (19,18) Export File Size: 0.24 MB
38.23/20.00	c (19,18) 0,0,10,11,12,12,18,STOP-AFTER(DIMACS)
38.23/20.00	c END-Prog: Mon Aug 13 22:38:12 CEST 2018
38.57/20.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23606-serial-file.bin
38.62/20.54	c (0,0) Read Serial File Begin
38.62/20.54	c (0,0) HOME/scop-23606-serial-file.bin
38.62/20.79	c (0,0) Read Serial File End
38.62/20.80	
38.62/20.80	scop order+glucose-syrup (2018-07-31)
38.62/20.80	(Solving Process)
38.62/20.80	
38.62/20.83	c BEGIN-Prog: Mon Aug 13 22:38:13 CEST 2018
38.62/20.83	c PID: 23629
38.62/20.83	c IP: 172.20.3.132
38.62/20.83	c HOST: node132.alineos.net
38.62/20.83	c (0,0) SatSolver.solve Begin
38.62/20.83	c (0,0) 0 bool, 0 clause
38.62/20.83	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307526-1534192672.xml-scop-23609.cnf
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
89.79/31.41	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
89.79/31.41	c (10,0) c ========================================[ Problem Statistics ]===========================================
89.79/31.41	c (10,0) c |                                                                                                       |
89.79/31.41	c (10,0) c |  Number of variables:        115868                                                                   |
89.79/31.41	c (10,0) c |  Number of clauses:         2356250                                                                   |
89.79/31.41	c (10,0) c |  Parse time:                   0.70 s                                                                 |
89.79/31.41	c (10,0) c |                                                                                                       |
89.79/31.41	c (10,0) c |  Eliminated clauses:           1.24 Mb                                                                |
89.79/31.41	c (10,0) c |  Simplification time:          3.31 s                                                                 |
89.79/31.41	c (10,0) c |                                                                                                       |
89.79/31.41	c (10,0) c |  Generating clones                                                                                    |
89.79/31.41	c (10,0) c |  all clones generated. Memory = 1526.73Mb.                                                             |
89.79/31.41	c (10,0) c ========================================================================================================|
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c |-------------------------------------------------------------------------------------------------------|
89.79/31.41	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
89.79/31.41	c (10,0) c |-------------------------------------------------------------------------------------------------------|
89.79/31.41	c (10,0) c |  0 |     33 |      88581 |       3917 |    28792 |     2923 |      239 |     2105 |       23 | 12.030 |
89.79/31.41	c (10,0) c |  1 |     36 |      94631 |       3633 |    28575 |     2640 |      179 |     2173 |       23 | 12.114 |
89.79/31.41	c (10,0) c |  2 |     45 |      91738 |       4102 |    32677 |     3110 |      292 |     2061 |       53 | 12.147 |
89.79/31.41	c (10,0) c |  3 |     43 |     102947 |       4360 |    34409 |     3362 |      267 |     2057 |       26 | 12.157 |
89.79/31.41	c (10,0) c |  4 |     52 |      93343 |       4957 |    37475 |     3961 |      418 |     1927 |       28 | 12.147 |
89.79/31.41	c (10,0) c |  5 |     47 |      94514 |       4233 |    34711 |     3243 |      415 |     1937 |       24 | 12.147 |
89.79/31.41	c (10,0) c |  6 |     54 |      96028 |       4882 |    36675 |     3887 |      305 |     2048 |       31 | 12.152 |
89.79/31.41	c (10,0) c |  7 |     44 |      88034 |       4298 |    38509 |     3298 |      239 |     2088 |       35 | 12.147 |
89.79/31.41	c (10,0) c 
89.79/31.41	c (10,0) c synthesis       34382 conflicts    46620068 propagations      996 conflicts/sec  1350353 propagations/sec
89.79/31.41	c (10,0) c Total Memory so far : 2119.39Mb
89.79/31.41	c (10,0) c last restart ## conflicts  :  15 999 
89.79/31.41	c (10,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
89.79/31.41	c (10,0) c Total Memory so far : 2089.29Mb
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c real time : 10.5512 s
89.79/31.41	c (10,0) c cpu time  : 47.5693 s
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
89.79/31.41	c (10,0) c
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) c | Conflicts     |           54368 |       5640 |       5572 |       6368 |       6588 |       7172 |       7098 |       8299 |       7631 |
89.79/31.41	c (10,0) c | Decisions     |         1095059 |     125501 |     135263 |     139104 |     150481 |     139978 |     136153 |     138999 |     129580 |
89.79/31.41	c (10,0) c | Propagations  |        71382767 |    7671140 |    8732845 |    8860894 |    9325608 |    9091708 |    9464657 |    9409975 |    8825940 |
89.79/31.41	c (10,0) c | Avg_Trail     |                 |      29366 |      33173 |      31439 |      32428 |      27789 |      31394 |      31118 |      31302 |
89.79/31.41	c (10,0) c | Avg_DL        |                 |        297 |        361 |        327 |        348 |        248 |        312 |        316 |        320 |
89.79/31.41	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.79/31.41	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) c | Exported      |            4124 |        362 |        235 |        459 |        442 |        624 |        661 |        759 |        582 |
89.79/31.41	c (10,0) c | Imported      |           28468 |       3734 |       3849 |       3578 |       3563 |       3463 |       3428 |       3344 |       3509 |
89.79/31.41	c (10,0) c | Good          |           11034 |       1390 |       1453 |       1380 |       1393 |       1282 |       1305 |       1371 |       1460 |
89.79/31.41	c (10,0) c | Purge         |           17434 |       2344 |       2396 |       2198 |       2170 |       2181 |       2123 |       1973 |       2049 |
89.79/31.41	c (10,0) c | Promoted      |             412 |         45 |         46 |         72 |         56 |         34 |         47 |         50 |         62 |
89.79/31.41	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.79/31.41	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) c | Unaries       |                 |         18 |          8 |         18 |         13 |          9 |         24 |         25 |         12 |
89.79/31.41	c (10,0) c | Binaries      |                 |        192 |        125 |        193 |        172 |        297 |        272 |        215 |        122 |
89.79/31.41	c (10,0) c | Glues         |                 |        292 |        212 |        346 |        314 |        466 |        468 |        390 |        290 |
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) c | Orig_Seen     |             2 % |      38424 |      40607 |      45503 |      46112 |      49611 |      50602 |      53048 |      53667 |
89.79/31.41	c (10,0) c | Diff Orig seen|                 | -     2183 |      X     |       4896 |       5505 |       9004 |       9995 |      12441 |      13060 |
89.79/31.41	c (10,0) c | Hamming       |            14 % |      16946 |      X     |      16635 |      17214 |      16548 |      16579 |      14981 |      16426 |
89.79/31.41	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
89.79/31.41	c (10,0) 
89.79/31.41	c (10,0) s SATISFIABLE
40.27/31.52	c (11,0) SatSolver.solve End
40.27/31.52	c (11,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
40.27/31.52	c (11,0) Show results Begin
90.40/31.62	s SATISFIABLE
90.40/31.65	v <instantiation>
90.40/31.65	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] vr[50][0] vr[50][1] vr[50][2] vr[50][3] vr[50][4] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[53][0] vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4] vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[58][0] vr[58][1] vr[58][2] vr[58][3] vr[58][4] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[52][0] ve[52][1] ve[52][2] ve[52][3] ve[52][4] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[55][0] ve[55][1] ve[55][2] ve[55][3] ve[55][4] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[58][0] ve[58][1] ve[58][2] ve[58][3] ve[58][4] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gvr[50][0] gvr[50][1] gvr[50][2] gvr[50][3] gvr[50][4] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4] gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[55][0] gvr[55][1] gvr[55][2] gvr[55][3] gvr[55][4] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3] gvr[57][4] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[52][0] gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[54][0] gve[54][1] gve[54][2] gve[54][3] gve[54][4] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4] gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[59][0] gve[59][1] gve[59][2] gve[59][3] gve[59][4]</list>
90.40/31.65	v     <values>0 17 32 42 58 1 31 49 45 14 2 41 15 48 28 3 19 24 53 40 4 54 27 38 18 5 52 47 16 34 6 21 39 29 59 7 43 20 26 51 8 36 22 33 57 9 44 35 23 55 10 12 46 50 25 11 28 56 39 23 12 38 2 25 48 13 0 34 46 54 14 37 52 35 8 15 26 43 51 9 16 57 5 44 29 17 53 36 31 1 18 55 7 24 42 19 49 33 4 41 20 58 6 27 45 21 47 59 32 3 22 50 10 40 30 23 5 53 34 44 24 9 45 15 49 25 10 17 52 37 26 13 51 47 11 27 59 3 19 39 28 20 50 8 43 29 56 21 6 36 30 4 54 14 46 31 18 48 41 0 32 1 38 55 12 33 15 11 59 47 34 45 16 57 4 35 46 12 49 7 36 48 23 5 27 37 25 55 20 10 38 14 29 54 6 39 3 26 13 50 40 8 31 21 53 41 51 0 17 24 42 2 58 28 19 43 22 9 30 56 44 32 1 18 52 45 6 18 58 33 46 16 4 56 32 47 23 57 1 26 48 7 28 43 20 49 40 8 12 35 50 29 13 10 38 51 42 25 22 2 52 11 30 37 15 53 39 19 3 31 54 24 14 36 5 55 27 37 0 13 56 30 40 2 16 57 33 41 7 17 58 34 42 9 21 59 35 44 11 22 0 13 41 55 31 1 32 44 47 17 2 42 12 56 51 3 39 27 53 21 4 30 46 19 34 5 23 16 36 54 6 45 20 29 38 7 48 18 57 35 8 40 49 28 14 9 24 43 58 15 10 25 22 50 37 11 52 33 59 26 12 10 35 49 32 13 26 50 39 55 14 38 54 30 1 15 33 2 24 52 16 46 34 5 56 17 0 25 41 57 18 31 45 44 4 19 3 53 27 42 20 28 7 37 48 21 6 29 40 58 22 43 8 51 59 23 47 36 9 11 24 54 3 18 41 25 37 51 12 10 26 15 39 7 47 27 55 4 20 36 28 11 48 42 2 29 50 38 6 16 30 56 52 43 22 31 1 40 17 53 32 44 0 21 46 33 57 19 8 45 34 58 13 23 5 35 59 9 14 49 36 8 17 54 29 37 14 55 52 25 38 12 32 4 50 39 53 6 11 27 40 49 56 22 3 41 2 57 31 19 42 51 58 0 18 43 7 15 48 28 44 9 59 16 23 45 34 24 1 20 46 35 10 13 30 47 21 5 26 33 48 36 31 2 12 49 19 1 35 24 50 22 28 10 39 51 41 26 15 7 52 5 14 25 44 53 17 23 3 40 54 4 30 38 13 55 18 37 32 9 56 29 11 46 43 57 16 47 34 8 58 20 42 45 0 59 27 21 33 6 0 1 2 3 4 0 2 4 3 1 0 3 1 4 2 0 1 2 4 3 0 4 2 3 1 0 4 3 1 2 0 1 3 2 4 0 3 1 2 4 0 3 1 2 4 0 3 2 1 4 0 1 3 4 2 0 2 4 3 1 1 3 0 2 4 1 0 2 3 4 1 3 4 2 0 1 2 3 4 0 1 4 0 3 2 1 4 3 2 0 1 4 0 2 3 1 4 2 0 3 1 4 0 2 3 1 3 4 2 0 1 4 0 3 2 1 0 4 2 3 2 0 3 1 4 2 0 1 4 3 2 1 4 3 0 2 4 0 1 3 2 1 4 0 3 2 4 1 0 3 2 0 4 1 3 2 1 4 3 0 2 0 3 4 1 2 1 0 4 3 2 3 1 4 0 2 3 1 4 0 3 4 1 0 2 3 2 4 1 0 3 1 2 4 0 3 0 2 1 4 3 0 2 1 4 3 4 0 1 2 3 0 4 2 1 3 1 0 2 4 3 2 0 1 4 3 0 1 4 2 3 1 0 4 2 3 1 4 0 2 4 0 2 3 1 4 3 0 1 2 4 2 1 0 3 4 3 2 1 0 4 0 2 3 1 4 3 1 0 2 4 2 1 3 0 4 2 3 0 1 4 2 3 0 1 4 2 3 0 1 4 2 3 0 1 4 2 3 0 1 0 1 3 5 2 0 2 3 4 1 0 3 1 5 4 0 3 2 4 1 0 2 4 1 3 0 2 1 3 4 0 4 1 2 3 0 4 1 5 3 0 3 4 2 1 0 2 3 5 1 0 2 1 4 3 1 4 3 5 2 1 0 3 4 2 1 2 4 3 5 1 3 4 2 0 1 3 0 2 4 1 4 3 0 5 1 0 2 3 5 1 2 4 3 0 1 0 4 2 3 1 2 0 3 4 1 0 2 3 5 1 3 0 4 5 2 4 3 0 1 2 4 0 1 3 2 3 4 1 0 2 1 3 0 4 2 5 0 1 3 2 1 4 3 0 2 4 3 0 1 2 5 4 3 1 2 0 3 1 4 2 3 0 1 4 3 5 1 0 4 3 5 1 2 0 3 5 0 1 4 3 0 1 4 2 3 1 5 4 2 3 1 2 0 4 3 4 0 1 2 3 4 5 1 0 3 0 5 2 1 3 4 5 0 1 3 0 1 4 2 3 0 5 1 2 4 3 2 0 1 4 3 0 1 2 4 1 0 2 3 4 3 2 0 1 4 1 0 3 2 4 1 2 0 3 4 3 2 1 0 4 0 1 2 3 4 1 2 0 3 4 0 2 3 1 5 1 3 2 0 5 2 1 4 3 5 1 4 3 0 5 1 3 4 0 5 2 1 3 0</values>
90.40/31.65	v </instantiation>
90.40/31.65	c (11,0) Show results End
90.40/31.65	c (11,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
90.40/31.65	c (11,0) 11,11,STOP-AFTER(ALL)
90.40/31.65	c END-Prog: Mon Aug 13 22:38:23 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 (6903 MiB free)
  memory of node 1: 16384 MiB (10038 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307526-1534192672/watcher-4307526-1534192672 -o /tmp/evaluation-result-4307526-1534192672/solver-4307526-1534192672 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307526-1534192672.xml 

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

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

solver pid=23606, runsolver pid=23603

[startup+0.103569 s]*
/proc/loadavg: 0.86 0.29 0.60 2/203 23628
/proc/meminfo: memFree=17256452/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236830340 115843072 349 33554432000 4194304 5098028 140724041408432 140724041405688 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 349 296 221 0 87 0
[pid=23609] ppid=23606 vsize=27313900 memory=106108 CPUtime=0.1 cores=0-7
/proc/23609/stat : 23609 (java) S 23606 23606 22710 0 -1 1077944320 6552 0 0 0 8 2 0 0 20 0 20 0 236830340 27969433600 26527 33554432000 4194304 4196468 140722554185872 140722554168416 139645054570231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
/proc/23609/statm: 6828475 26527 2731 1 0 6790935 0
[pid=23609/tid=23610] ppid=23606 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23609/task/23610/stat : 23610 (java) R 23606 23606 22710 0 -1 4202560 4627 0 0 0 7 2 0 0 20 0 20 0 236830340 27969433600 26527 33554432000 4194304 4196468 140722554185872 139645026363272 139645038650718 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23611] ppid=23606 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23609/task/23611/stat : 23611 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139645058812944 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23612] ppid=23606 vsize=27313900 memory=140467774158464 CPUtime=0 cores=0-7
/proc/23609/task/23612/stat : 23612 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644890061968 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23613] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23613/stat : 23613 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644476173072 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23614] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23614/stat : 23614 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644475120528 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23615] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23615/stat : 23615 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644474067472 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23616] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23616/stat : 23616 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644473014928 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23617] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23617/stat : 23617 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644471961872 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23618] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23618/stat : 23618 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 26527 33554432000 4194304 4196468 140722554185872 139644470909328 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23619] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23619/stat : 23619 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830344 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643576109808 139645054581378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23620] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23620/stat : 23620 (java) S 23606 23606 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 26527 33554432000 4194304 4196468 140722554185872 139642674341536 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23621] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23621/stat : 23621 (java) S 23606 23606 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 26527 33554432000 4194304 4196468 140722554185872 139642540119280 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23622] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23622/stat : 23622 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 26527 33554432000 4194304 4196468 140722554185872 139642165615056 139645054588827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23623] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23623/stat : 23623 (java) S 23606 23606 22710 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643575056624 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23624] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23624/stat : 23624 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643574004080 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23625] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23625/stat : 23625 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643572951024 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23626] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23626/stat : 23626 (java) S 23606 23606 22710 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643571898480 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23627] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23627/stat : 23627 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 26527 33554432000 4194304 4196468 140722554185872 139641667709920 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23628] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23628/stat : 23628 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 26527 33554432000 4194304 4196468 140722554185872 139643570846896 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107504 KiB

[startup+0.210641 s]*
/proc/loadavg: 0.87 0.30 0.60 2/203 23628
/proc/meminfo: memFree=17239816/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236830340 115843072 349 33554432000 4194304 5098028 140724041408432 140724041405688 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 349 296 221 0 87 0
[pid=23609] ppid=23606 vsize=27313900 memory=120248 CPUtime=0.24 cores=0-7
/proc/23609/stat : 23609 (java) S 23606 23606 22710 0 -1 1077944320 10353 0 0 0 21 3 0 0 20 0 20 0 236830340 27969433600 30062 33554432000 4194304 4196468 140722554185872 140722554168416 139645054570231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
/proc/23609/statm: 6828475 30062 2883 1 0 6790935 0
[pid=23609/tid=23610] ppid=23606 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23609/task/23610/stat : 23610 (java) R 23606 23606 22710 0 -1 4202560 8179 0 0 0 17 2 0 0 20 0 20 0 236830340 27969433600 30062 33554432000 4194304 4196468 140722554185872 139645026368976 139645054582166 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23611] ppid=23606 vsize=27313900 memory=339 CPUtime=0 cores=0-7
/proc/23609/task/23611/stat : 23611 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139645058812944 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23612] ppid=23606 vsize=27313900 memory=140467774181255 CPUtime=0 cores=0-7
/proc/23609/task/23612/stat : 23612 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644890061968 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23613] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23613/stat : 23613 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644476173072 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23614] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23614/stat : 23614 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644475120528 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23615] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23615/stat : 23615 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644474067472 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23616] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23616/stat : 23616 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644473014928 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23617] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23617/stat : 23617 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644471961872 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23618] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23618/stat : 23618 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 30062 33554432000 4194304 4196468 140722554185872 139644470909328 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23619] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23619/stat : 23619 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830344 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643576109808 139645054581378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23620] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23620/stat : 23620 (java) S 23606 23606 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 30062 33554432000 4194304 4196468 140722554185872 139642674341536 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23621] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23621/stat : 23621 (java) S 23606 23606 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 30062 33554432000 4194304 4196468 140722554185872 139642540119280 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23622] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23622/stat : 23622 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 30062 33554432000 4194304 4196468 140722554185872 139642165615056 139645054588827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23623] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23623/stat : 23623 (java) S 23606 23606 22710 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643575056624 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23624] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23624/stat : 23624 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643574004080 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23625] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23625/stat : 23625 (java) R 23606 23606 22710 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643572951024 139645054581378 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23626] ppid=23606 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/23609/task/23626/stat : 23626 (java) S 23606 23606 22710 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 236830347 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643571898480 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23627] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23627/stat : 23627 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 30062 33554432000 4194304 4196468 140722554185872 139641667709920 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23628] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23628/stat : 23628 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 30062 33554432000 4194304 4196468 140722554185872 139643570846896 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 121644 KiB

[startup+0.310503 s]*
/proc/loadavg: 0.87 0.30 0.60 2/203 23628
/proc/meminfo: memFree=17236356/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236830340 115843072 349 33554432000 4194304 5098028 140724041408432 140724041405688 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 349 296 221 0 87 0
[pid=23609] ppid=23606 vsize=27313900 memory=124856 CPUtime=0.42 cores=0-7
/proc/23609/stat : 23609 (java) S 23606 23606 22710 0 -1 1077944320 11018 0 0 0 38 4 0 0 20 0 20 0 236830340 27969433600 31214 33554432000 4194304 4196468 140722554185872 140722554168416 139645054570231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
/proc/23609/statm: 6828475 31214 2992 1 0 6790935 0
[pid=23609/tid=23610] ppid=23606 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23609/task/23610/stat : 23610 (java) R 23606 23606 22710 0 -1 4202560 8568 0 0 0 26 3 0 0 20 0 20 0 236830340 27969433600 31214 33554432000 4194304 4196468 140722554185872 139645026365512 139645039735819 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23611] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23611/stat : 23611 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139645058812944 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23612] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23612/stat : 23612 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644890061968 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23613] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23613/stat : 23613 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644476173072 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23614] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23614/stat : 23614 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644475120528 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23615] ppid=23606 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/23609/task/23615/stat : 23615 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644474067472 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23616] ppid=23606 vsize=27313900 memory=140467643708335 CPUtime=0 cores=0-7
/proc/23609/task/23616/stat : 23616 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644473014928 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23617] ppid=23606 vsize=27313900 memory=140467643710640 CPUtime=0 cores=0-7
/proc/23609/task/23617/stat : 23617 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644471961872 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23618] ppid=23606 vsize=27313900 memory=140467643712944 CPUtime=0 cores=0-7
/proc/23609/task/23618/stat : 23618 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27969433600 31214 33554432000 4194304 4196468 140722554185872 139644470909328 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23619] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23619/stat : 23619 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830344 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643576109808 139645054581378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23620] ppid=23606 vsize=27313900 memory=280935287432848 CPUtime=0 cores=0-7
/proc/23609/task/23620/stat : 23620 (java) S 23606 23606 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 31214 33554432000 4194304 4196468 140722554185872 139642674341536 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23621] ppid=23606 vsize=27313900 memory=280935287439760 CPUtime=0 cores=0-7
/proc/23609/task/23621/stat : 23621 (java) S 23606 23606 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236830345 27969433600 31214 33554432000 4194304 4196468 140722554185872 139642540119280 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23622] ppid=23606 vsize=27313900 memory=280935287381040 CPUtime=0 cores=0-7
/proc/23609/task/23622/stat : 23622 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830347 27969433600 31214 33554432000 4194304 4196468 140722554185872 139642165615056 139645054588827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23623] ppid=23606 vsize=27313900 memory=280935287453584 CPUtime=0.01 cores=0-7
/proc/23609/task/23623/stat : 23623 (java) S 23606 23606 22710 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 20 0 236830347 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643575056624 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23624] ppid=23606 vsize=27313900 memory=280935287460496 CPUtime=0.01 cores=0-7
/proc/23609/task/23624/stat : 23624 (java) S 23606 23606 22710 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 236830347 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643574004080 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23625] ppid=23606 vsize=27313900 memory=280935287458192 CPUtime=0.01 cores=0-7
/proc/23609/task/23625/stat : 23625 (java) S 23606 23606 22710 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 236830347 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643572951024 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23626] ppid=23606 vsize=27313900 memory=280935287474352 CPUtime=0.07 cores=0-7
/proc/23609/task/23626/stat : 23626 (java) S 23606 23606 22710 0 -1 1077944384 424 0 0 0 7 0 0 0 20 0 20 0 236830347 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643571898480 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23627] ppid=23606 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23627/stat : 23627 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 31214 33554432000 4194304 4196468 140722554185872 139641667709920 139645054580437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23628] ppid=23606 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23609/task/23628/stat : 23628 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830348 27969433600 31214 33554432000 4194304 4196468 140722554185872 139643570846896 139645054581378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126252 KiB

[startup+0.700999 s]
/proc/loadavg: 0.87 0.30 0.60 2/203 23628
/proc/meminfo: memFree=17212420/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236830340 115843072 349 33554432000 4194304 5098028 140724041408432 140724041405688 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 349 296 221 0 87 0
[pid=23609] ppid=23606 vsize=27320172 memory=161788 CPUtime=1 cores=0-7
/proc/23609/stat : 23609 (java) S 23606 23606 22710 0 -1 1077944320 17958 0 0 0 94 6 0 0 20 0 20 0 236830340 27975856128 40447 33554432000 4194304 4196468 140722554185872 140722554168416 139645054570231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
/proc/23609/statm: 6830043 40447 3113 1 0 6791447 0
[pid=23609/tid=23610] ppid=23606 vsize=27320172 memory=280935287832240 CPUtime=0.67 cores=0-7
/proc/23609/task/23610/stat : 23610 (java) R 23606 23606 22710 0 -1 4202560 14932 0 0 0 63 4 0 0 20 0 20 0 236830340 27975856128 40447 33554432000 4194304 4196468 140722554185872 139645026407632 139645054592157 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23611] ppid=23606 vsize=27320172 memory=140467643917168 CPUtime=0 cores=0-7
/proc/23609/task/23611/stat : 23611 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236830343 27975856128 40447 33554432000 4194304 4196468 140722554185872 139645058812944 139645054580437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23612] ppid=23606 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/23609/task/23612/stat : 23612 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236830343 27975856128 40447 33554432000 4194304 4196468 140722554185872 139644890061968 139645054580437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0
[pid=23609/tid=23613] ppid=23606 vsize=27320172 memory=10784 CPUtime=0 cores=0-7
/proc/23609/task/23613/stat : 23613 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236830343 27975856128 40447 33554432000 4194304 4196468 140722554185872 139644476173072 139645054580437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8450048 140722554188777 140722554189101 140722554189101 140722554191823 0

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

/proc/23629/task/23641/stat : 23641 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832349 8615837696 31502 33554432000 4194304 4196468 140735025121456 140426774307568 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23642] ppid=23606 vsize=8413904 memory=2996 CPUtime=0 cores=0-7
/proc/23629/task/23642/stat : 23642 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140426399799248 140428408879003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23643] ppid=23606 vsize=8413904 memory=1472 CPUtime=0.08 cores=0-7
/proc/23629/task/23643/stat : 23643 (java) S 23606 23606 22710 0 -1 1077944384 530 0 0 0 8 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427232492272 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23644] ppid=23606 vsize=8413904 memory=126008 CPUtime=0.13 cores=0-7
/proc/23629/task/23644/stat : 23644 (java) S 23606 23606 22710 0 -1 1077944384 601 0 0 0 13 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427231439728 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23645] ppid=23606 vsize=8413904 memory=1472 CPUtime=0.12 cores=0-7
/proc/23629/task/23645/stat : 23645 (java) S 23606 23606 22710 0 -1 1077944384 455 0 0 0 12 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427230386672 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23646] ppid=23606 vsize=8413904 memory=126008 CPUtime=0.22 cores=0-7
/proc/23629/task/23646/stat : 23646 (java) S 23606 23606 22710 0 -1 1077944384 668 0 0 0 22 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427229334128 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23647] ppid=23606 vsize=8413904 memory=1692940 CPUtime=0 cores=0-7
/proc/23629/task/23647/stat : 23647 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425901894112 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23648] ppid=23606 vsize=8413904 memory=2444 CPUtime=0 cores=0-7
/proc/23629/task/23648/stat : 23648 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427228281520 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23650] ppid=23606 vsize=8413904 memory=1832 CPUtime=0 cores=0-7
/proc/23629/task/23650/stat : 23650 (java) S 23606 23606 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236832425 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427220804544 140428408885017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23652] ppid=23606 vsize=8413904 memory=1920 CPUtime=0 cores=0-7
/proc/23629/task/23652/stat : 23652 (java) S 23606 23606 22710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236832426 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425230794768 140428408882333 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23653] ppid=23606 vsize=8413904 memory=1396 CPUtime=0 cores=0-7
/proc/23629/task/23653/stat : 23653 (java) S 23606 23606 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236832426 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425499230352 140428408882333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23654] ppid=23606 vsize=8413904 memory=6098588 CPUtime=0 cores=0-7
/proc/23629/task/23654/stat : 23654 (java) S 23606 23606 22710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236832428 8615837696 31502 33554432000 4194304 4196468 140735025121456 140424962366880 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
Current children cumulated CPU time: 81.82 s
Current children cumulated vsize: 10697284 KiB
Current children cumulated memory: 1821820 KiB

[startup+31.2016 s]
/proc/loadavg: 1.60 0.53 0.67 9/216 23662
/proc/meminfo: memFree=15495852/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1472 CPUtime=38.62 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 588 45902 0 0 0 0 3698 164 20 0 1 0 236830340 115843072 368 33554432000 4194304 5098028 140724041408432 140724041405176 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 368 311 221 0 87 0
[pid=23629] ppid=23606 vsize=8413904 memory=126008 CPUtime=1.42 cores=0-7
/proc/23629/stat : 23629 (java) S 23606 23606 22710 0 -1 1077944320 19207 0 0 0 133 9 0 0 20 0 24 0 236832345 8615837696 31502 33554432000 4194304 4196468 140735025121456 140735025104000 140428408860407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
/proc/23629/statm: 2103476 31502 3159 1 0 2064875 0
[pid=23649] ppid=23629 vsize=2139432 memory=1686688 CPUtime=48.16 cores=0-7
/proc/23649/stat : 23649 (glucose-syrup) S 23629 23606 22710 0 -1 1077944320 812246 0 0 0 4598 218 0 0 20 0 9 0 236832425 2190778368 421672 33554432000 4194304 4373367 140737196457680 140737196456224 139992428591746 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
/proc/23649/statm: 534858 421672 388 44 0 530546 0
[pid=23649/tid=23655] ppid=23629 vsize=2139432 memory=126008 CPUtime=5.43 cores=0-7
/proc/23649/task/23655/stat : 23655 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 68846 0 0 0 515 28 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139992285334440 4271925 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23656] ppid=23629 vsize=2139432 memory=1694756 CPUtime=5.42 cores=0-7
/proc/23649/task/23656/stat : 23656 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 84507 0 0 0 526 16 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991564262264 4272179 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23657] ppid=23629 vsize=2139432 memory=64092 CPUtime=5.42 cores=0-7
/proc/23649/task/23657/stat : 23657 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 66758 0 0 0 510 32 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991555869560 4271619 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23658] ppid=23629 vsize=2139432 memory=1236 CPUtime=5.42 cores=0-7
/proc/23649/task/23658/stat : 23658 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 66638 0 0 0 528 14 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991547476856 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23659] ppid=23629 vsize=2139432 memory=2444 CPUtime=5.39 cores=0-7
/proc/23649/task/23659/stat : 23659 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 63823 0 0 0 509 30 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991539084152 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23660] ppid=23629 vsize=2139432 memory=1832 CPUtime=5.42 cores=0-7
/proc/23649/task/23660/stat : 23660 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 60889 0 0 0 530 12 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991530691448 139992419563356 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23661] ppid=23629 vsize=2139432 memory=1920 CPUtime=5.41 cores=0-7
/proc/23649/task/23661/stat : 23661 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 50209 0 0 0 528 13 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991522299248 4272316 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23649/tid=23662] ppid=23629 vsize=2139432 memory=1192 CPUtime=5.34 cores=0-7
/proc/23649/task/23662/stat : 23662 (glucose-syrup) R 23629 23606 22710 0 -1 4202560 49320 0 0 0 506 28 0 0 20 0 9 0 236832910 2190778368 421672 33554432000 4194304 4373367 140737196457680 139991513906448 4271983 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 14241792 140737196463184 140737196463316 140737196463316 140737196466119 0
[pid=23629/tid=23630] ppid=23606 vsize=8413904 memory=1616 CPUtime=0.82 cores=0-7
/proc/23629/task/23630/stat : 23630 (java) S 23606 23606 22710 0 -1 1077944384 15558 0 0 0 75 7 0 0 20 0 24 0 236832346 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428380700560 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23631] ppid=23606 vsize=8413904 memory=1384 CPUtime=0 cores=0-7
/proc/23629/task/23631/stat : 23631 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428413102608 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23632] ppid=23606 vsize=8413904 memory=1384 CPUtime=0 cores=0-7
/proc/23629/task/23632/stat : 23632 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428213271184 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23633] ppid=23606 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/23629/task/23633/stat : 23633 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428212218128 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23634] ppid=23606 vsize=8413904 memory=7312 CPUtime=0 cores=0-7
/proc/23629/task/23634/stat : 23634 (java) S 23606 23606 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428211165584 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23635] ppid=23606 vsize=8413904 memory=5400 CPUtime=0 cores=0-7
/proc/23629/task/23635/stat : 23635 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428210113552 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23636] ppid=23606 vsize=8413904 memory=1108 CPUtime=0 cores=0-7
/proc/23629/task/23636/stat : 23636 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428209061008 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23637] ppid=23606 vsize=8413904 memory=10784 CPUtime=0 cores=0-7
/proc/23629/task/23637/stat : 23637 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428208007952 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23638] ppid=23606 vsize=8413904 memory=872 CPUtime=0 cores=0-7
/proc/23629/task/23638/stat : 23638 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832347 8615837696 31502 33554432000 4194304 4196468 140735025121456 140428206955408 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23639] ppid=23606 vsize=8413904 memory=4280 CPUtime=0 cores=0-7
/proc/23629/task/23639/stat : 23639 (java) S 23606 23606 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236832348 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427233544432 140428408871554 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23640] ppid=23606 vsize=8413904 memory=14888 CPUtime=0 cores=0-7
/proc/23629/task/23640/stat : 23640 (java) S 23606 23606 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236832349 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427042743456 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23641] ppid=23606 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/23629/task/23641/stat : 23641 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832349 8615837696 31502 33554432000 4194304 4196468 140735025121456 140426774307568 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23642] ppid=23606 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/23629/task/23642/stat : 23642 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140426399799248 140428408879003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23643] ppid=23606 vsize=8413904 memory=126008 CPUtime=0.08 cores=0-7
/proc/23629/task/23643/stat : 23643 (java) S 23606 23606 22710 0 -1 1077944384 530 0 0 0 8 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427232492272 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23644] ppid=23606 vsize=8413904 memory=1620652 CPUtime=0.13 cores=0-7
/proc/23629/task/23644/stat : 23644 (java) S 23606 23606 22710 0 -1 1077944384 601 0 0 0 13 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427231439728 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23645] ppid=23606 vsize=8413904 memory=7667777910927151715 CPUtime=0.12 cores=0-7
/proc/23629/task/23645/stat : 23645 (java) S 23606 23606 22710 0 -1 1077944384 455 0 0 0 12 0 0 0 20 0 24 0 236832351 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427230386672 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23646] ppid=23606 vsize=8413904 memory=1687276 CPUtime=0.22 cores=0-7
/proc/23629/task/23646/stat : 23646 (java) S 23606 23606 22710 0 -1 1077944384 668 0 0 0 22 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427229334128 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23647] ppid=23606 vsize=8413904 memory=8039887049847966116 CPUtime=0 cores=0-7
/proc/23629/task/23647/stat : 23647 (java) S 23606 23606 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425901894112 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23648] ppid=23606 vsize=8413904 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23629/task/23648/stat : 23648 (java) S 23606 23606 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236832352 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427228281520 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23650] ppid=23606 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23629/task/23650/stat : 23650 (java) S 23606 23606 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236832425 8615837696 31502 33554432000 4194304 4196468 140735025121456 140427220804544 140428408885017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23652] ppid=23606 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/23629/task/23652/stat : 23652 (java) S 23606 23606 22710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236832426 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425230794768 140428408882333 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23653] ppid=23606 vsize=8413904 memory=1580 CPUtime=0 cores=0-7
/proc/23629/task/23653/stat : 23653 (java) S 23606 23606 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236832426 8615837696 31502 33554432000 4194304 4196468 140735025121456 140425499230352 140428408882333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23654] ppid=23606 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/23629/task/23654/stat : 23654 (java) S 23606 23606 22710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236832428 8615837696 31502 33554432000 4194304 4196468 140735025121456 140424962366880 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
Current children cumulated CPU time: 88.2 s
Current children cumulated vsize: 10666464 KiB
Current children cumulated memory: 1814168 KiB

[startup+31.6012 s]
/proc/loadavg: 1.60 0.53 0.67 9/216 23662
/proc/meminfo: memFree=15495852/32770624 swapFree=67108860/67108860
[pid=23606] ppid=23603 vsize=113128 memory=1472 CPUtime=38.62 cores=0-7
/proc/23606/stat : 23606 (scop.sh) S 23603 23606 22710 0 -1 4202496 588 45902 0 0 0 0 3698 164 20 0 1 0 236830340 115843072 368 33554432000 4194304 5098028 140724041408432 140724041405176 140597149299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25108480 140724041413667 140724041413891 140724041413891 140724041416653 0
/proc/23606/statm: 28282 368 311 221 0 87 0
[pid=23629] ppid=23606 vsize=8282828 memory=153500 CPUtime=51.78 cores=0-7
/proc/23629/stat : 23629 (java) S 23606 23606 22710 0 -1 1077944320 20451 853735 0 0 179 10 4759 230 20 0 22 0 236832345 8481615872 38375 33554432000 4194304 4196468 140735025121456 140735025104000 140428408860407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
/proc/23629/statm: 2070707 38375 3180 1 0 2032106 0
[pid=23629/tid=23630] ppid=23606 vsize=8282828 memory=-6000919468461812077 CPUtime=50.79 cores=0-7
/proc/23629/task/23630/stat : 23630 (java) R 23606 23606 22710 0 -1 4202560 15735 853735 0 0 83 7 4759 230 20 0 22 0 236832346 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428380690624 140428392940894 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23631] ppid=23606 vsize=8282828 memory=1832 CPUtime=49.89 cores=0-7
/proc/23629/task/23631/stat : 23631 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428413102608 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23632] ppid=23606 vsize=8282828 memory=1920 CPUtime=49.89 cores=0-7
/proc/23629/task/23632/stat : 23632 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428213271184 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23633] ppid=23606 vsize=8282828 memory=1192 CPUtime=49.89 cores=0-7
/proc/23629/task/23633/stat : 23633 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428212218128 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23634] ppid=23606 vsize=8282828 memory=1616 CPUtime=49.89 cores=0-7
/proc/23629/task/23634/stat : 23634 (java) S 23606 23606 22710 0 -1 1077944384 2 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428211165584 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23635] ppid=23606 vsize=8282828 memory=1384 CPUtime=49.89 cores=0-7
/proc/23629/task/23635/stat : 23635 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428210113552 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23636] ppid=23606 vsize=8282828 memory=752 CPUtime=49.89 cores=0-7
/proc/23629/task/23636/stat : 23636 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428209061008 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23637] ppid=23606 vsize=8282828 memory=7312 CPUtime=49.89 cores=0-7
/proc/23629/task/23637/stat : 23637 (java) S 23606 23606 22710 0 -1 1077944384 3 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428208007952 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23638] ppid=23606 vsize=8282828 memory=5400 CPUtime=49.89 cores=0-7
/proc/23629/task/23638/stat : 23638 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832347 8481615872 38375 33554432000 4194304 4196468 140735025121456 140428206955408 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23639] ppid=23606 vsize=8282828 memory=1108 CPUtime=49.89 cores=0-7
/proc/23629/task/23639/stat : 23639 (java) S 23606 23606 22710 0 -1 1077944384 5 853735 0 0 0 0 4759 230 20 0 22 0 236832348 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427233544432 140428408871554 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23640] ppid=23606 vsize=8282828 memory=10784 CPUtime=49.89 cores=0-7
/proc/23629/task/23640/stat : 23640 (java) S 23606 23606 22710 0 -1 1077944384 13 853735 0 0 0 0 4759 230 20 0 22 0 236832349 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427042743456 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23641] ppid=23606 vsize=8282828 memory=872 CPUtime=49.89 cores=0-7
/proc/23629/task/23641/stat : 23641 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832349 8481615872 38375 33554432000 4194304 4196468 140735025121456 140426774307568 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23642] ppid=23606 vsize=8282828 memory=4280 CPUtime=49.89 cores=0-7
/proc/23629/task/23642/stat : 23642 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832351 8481615872 38375 33554432000 4194304 4196468 140735025121456 140426399799248 140428408879003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23643] ppid=23606 vsize=8282828 memory=14888 CPUtime=50.02 cores=0-7
/proc/23629/task/23643/stat : 23643 (java) S 23606 23606 22710 0 -1 1077944384 559 853735 0 0 13 0 4759 230 20 0 22 0 236832351 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427232492272 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23644] ppid=23606 vsize=8282828 memory=35568 CPUtime=50.08 cores=0-7
/proc/23629/task/23644/stat : 23644 (java) S 23606 23606 22710 0 -1 1077944384 628 853735 0 0 19 0 4759 230 20 0 22 0 236832351 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427231439728 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23645] ppid=23606 vsize=8282828 memory=15932 CPUtime=50.1 cores=0-7
/proc/23629/task/23645/stat : 23645 (java) R 23606 23606 22710 0 -1 4202560 748 853735 0 0 21 0 4759 230 20 0 22 0 236832351 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427230368208 140428388107520 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23646] ppid=23606 vsize=8282828 memory=3332 CPUtime=50.19 cores=0-7
/proc/23629/task/23646/stat : 23646 (java) S 23606 23606 22710 0 -1 1077944384 1323 853735 0 0 30 0 4759 230 20 0 22 0 236832352 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427229334128 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23647] ppid=23606 vsize=8282828 memory=1732 CPUtime=49.89 cores=0-7
/proc/23629/task/23647/stat : 23647 (java) S 23606 23606 22710 0 -1 1077944384 3 853735 0 0 0 0 4759 230 20 0 22 0 236832352 8481615872 38375 33554432000 4194304 4196468 140735025121456 140425901894112 140428408870613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23648] ppid=23606 vsize=8282828 memory=1172 CPUtime=49.89 cores=0-7
/proc/23629/task/23648/stat : 23648 (java) S 23606 23606 22710 0 -1 1077944384 1 853735 0 0 0 0 4759 230 20 0 22 0 236832352 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427228281520 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23650] ppid=23606 vsize=8282828 memory=500 CPUtime=49.89 cores=0-7
/proc/23629/task/23650/stat : 23650 (java) S 23606 23606 22710 0 -1 1077944384 24 853735 0 0 0 0 4759 230 20 0 22 0 236832425 8481615872 38375 33554432000 4194304 4196468 140735025121456 140427220803728 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
[pid=23629/tid=23654] ppid=23606 vsize=8282828 memory=1580 CPUtime=49.89 cores=0-7
/proc/23629/task/23654/stat : 23654 (java) S 23606 23606 22710 0 -1 1077944384 9 853735 0 0 0 0 4759 230 20 0 22 0 236832428 8481615872 38375 33554432000 4194304 4196468 140735025121456 140424962368688 140428408871554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140735025124529 140735025124653 140735025124653 140735025127375 0
Current children cumulated CPU time: 90.4 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 154972 KiB

Child status: 0
Real time (s): 31.6722
CPU time (s): 90.6102
CPU user time (s): 86.5396
CPU system time (s): 4.07067
CPU usage (%): 286.087
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6103920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5395
system time used= 4.07067
maximum resident set size= 6102524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80719
involuntary context switches= 488


# summary of solver processes directly reported to runsolver:
#   pid: 23606
#   total CPU time (s): 90.6102
#   total CPU user time (s): 86.5396
#   total CPU system time (s): 4.07067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.244862 second user time and 0.407666 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-13 22:37:52
IDJOB=4307526
IDBENCH=141395
IDSOLVER=2789
FILE ID=node132/4307526-1534192672
RUNJOBID= node132-1534187531-22737
PBS_JOBID= 21037984
Free space on /tmp= 38328 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-12_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307526-1534192672/watcher-4307526-1534192672 -o /tmp/evaluation-result-4307526-1534192672/solver-4307526-1534192672 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307526-1534192672.xml

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

MD5SUM BENCH= 193461ec87a084283094d7342f0c20d4
RANDOM SEED=1183355466

node132.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.65
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.65
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.65
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.65
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:        17350268 kB
MemAvailable:   31902112 kB
Buffers:          262928 kB
Cached:         14400928 kB
SwapCached:            0 kB
Active:          7396836 kB
Inactive:        7321104 kB
Active(anon):       3696 kB
Inactive(anon):   102812 kB
Active(file):    7393140 kB
Inactive(file):  7218292 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9112 kB
Writeback:             0 kB
AnonPages:         72888 kB
Mapped:            56092 kB
Shmem:             49824 kB
Slab:             397252 kB
SReclaimable:     368872 kB
SUnreclaim:        28380 kB
KernelStack:        3584 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38320 MiB
End job on node132 at 2018-08-13 22:38:23