Trace number 4397992

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
cosoco 2.O parallelSAT 14.8402 2.11434

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-03.xml
MD5SUM20e15596ff36696b27df04e6639fd466
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.7818
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1369
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1168},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c This is cosoco 2.00 --  
0.20/0.28	c
0.20/0.28	c command line: cosoco -model -nbcores=8 HOME/instance-4397992-1568605489.xml 
0.20/0.28	c ========================================[ Problem Statistics ]===========================================
0.20/0.28	c |                                                                                                       
0.20/0.28	c |  Parse time        :         0.24 s 
0.20/0.28	c |
0.20/0.28	c |               Variables: 1200
0.20/0.28	c |            Domain Sizes: 2..24
0.20/0.28	c |
0.20/0.28	c |             Constraints: 1392
0.20/0.28	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.20/0.28	c | 
0.20/0.28	c |                   Types: 
0.20/0.28	c |                          Exactly K: 24
0.20/0.28	c |                          Extension: 200  (nb tuples: 24..24) -- (shared: 1592)
0.20/0.28	c |                          Sum: 1168
0.20/0.28	c |                          
0.20/0.28	c =========================================================================================================
0.20/0.28	c Parallel mode: Portfolio
0.20/0.28	c [pFactory][Group N°0] created (threads:8).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.20/0.28	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.20/0.28	c [pFactory][Group N°0] concurrent mode: enabled.
0.20/0.28	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.20/0.28	c [pFactory][Group N°0] task 7 launched on thread 0.
0.20/0.28	c [pFactory][Group N°0] task 6 launched on thread 2.
0.20/0.28	c [pFactory][Group N°0] task 5 launched on thread 1.
0.20/0.28	c [pFactory][Group N°0] task 4 launched on thread 6.
0.20/0.28	c [pFactory][Group N°0] task 3 launched on thread 5.
0.20/0.28	c [pFactory][Group N°0] task 2 launched on thread 7.
0.20/0.28	c [pFactory][Group N°0] task 1 launched on thread 3.
0.20/0.28	c [pFactory][Group N°0] task 0 launched on thread 4.
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.20/0.58	c 32             919            42836          9631           0              0              835   851   820
2.91/0.62	c 32             922            51555          9178           0              0              785   811   770
2.91/0.64	c 32             1014           54911          8126           0              0              928   949   910
2.91/0.65	c 101            1083           59015          17617          0              0              286   812   793
2.91/0.67	c 33             1005           57845          11166          0              0              83   83   41   
2.91/0.68	c 33             1082           58703          9224           0              0              68   68   34   
2.91/0.68	c 33             991            55920          12974          0              0              72   72   36   
3.64/0.70	c 32             1046           66513          9869           0              0              391   901   836
3.64/0.73	c 101            1271           76350          15734          0              0              921   956   923
3.64/0.74	c 33             1075           68633          10313          0              0              29   29   14   
3.64/0.75	c 64             1260           71867          13796          0              0              54   57   53   
3.64/0.77	c 65             1305           74743          14374          0              0              45   45   22   
3.64/0.78	c 101            1247           82484          13418          0              0              96   936   892 
3.64/0.78	c 66             1350           77624          14952          0              0              45   45   22   
3.64/0.79	c 101            1214           87724          17076          0              0              548   894   866
4.44/0.80	c 67             1395           80546          15582          0              0              45   45   22   
4.44/0.82	c 64             1234           81839          26885          0              0              86   180   137 
4.44/0.84	c 64             1175           82602          19720          0              0              127   134   126
4.44/0.89	c 65             1412           91557          29117          0              0              178   178   89 
5.24/0.92	c 211            1558           117961         31592          0              0              41   177   166 
5.24/0.93	c 128            1671           100937         22547          0              0              40   49   45   
5.24/0.94	c 129            1711           103543         23096          0              0              40   40   20   
5.24/0.95	c 65             1296           100425         23356          0              0              121   121   60 
5.24/0.96	c 66             1571           101146         31434          0              0              159   159   79 
5.24/0.97	c 66             1314           101952         23824          0              0              18   18   9    
5.24/0.98	c 67             1324           102916         24214          0              0              10   10   5    
5.24/0.98	c 64             1617           104800         17950          0              0              402   420   397
5.24/0.98	c 65             1643           105466         18382          0              0              26   26   13   
5.24/0.99	c 66             1687           106649         18909          0              0              44   44   22   
6.10/1.02	c 67             1715           109790         33238          0              0              144   144   72 
6.10/1.04	c 67             1812           112858         20640          0              0              125   125   62 
6.10/1.04	c 211            2356           129620         46482          0              0              128   163   149
6.10/1.10	c 211            1582           141180         26839          0              0              25   203   195 
7.63/1.21	c 130            2558           142375         28680          0              0              847   847   423
7.63/1.26	c 128            1987           149983         34838          0              0              15   233   135 
8.43/1.31	c 129            2133           156345         36907          0              0              146   146   73 
8.43/1.38	c 130            2314           166651         39765          0              0              181   181   90 
8.43/1.39	c 131            3125           166141         33187          0              0              567   567   283
9.27/1.41	c 128            3001           166946         47736          0              0              159   944   355
9.27/1.42	c 131            2464           173391         41887          0              0              150   150   75 
9.27/1.45	c 211            2245           175951         38348          0              0              196   702   615
9.27/1.47	c 128            2584           174368         33862          0              0              502   536   509
9.27/1.48	c 132            2632           181804         44283          0              0              168   168   84 
9.27/1.49	c 129            2630           176276         34462          0              0              46   46   23   
10.03/1.53	c 133            2782           188508         46394          0              0              150   150   75 
10.03/1.56	c 130            2797           185110         36789          0              0              167   167   83 
10.03/1.57	c 332            2275           258619         44428          0              0              65   244   229 
10.03/1.57	c 134            2926           194759         48476          0              0              144   144   72 
10.03/1.57	c 332            2022           227747         38252          0              0              218   232   223
10.03/1.58	c 131            2821           186474         37233          0              0              24   24   12   
10.83/1.62	c 135            3071           201089         50562          0              0              145   145   72 
10.83/1.64	c 129            3358           197691         52203          0              0              357   357   178
10.83/1.69	c 132            4100           210819         39037          0              0              975   975   487
11.63/1.72	c 133            4139           213325         39543          0              0              39   39   19   
11.63/1.74	c 132            3098           209317         41421          0              0              277   277   138
11.63/1.75	c 332            2893           216449         45973          0              0              331   428   410
11.63/1.76	c 133            3125           210779         41903          0              0              27   27   13   
11.63/1.77	c 134            3150           211886         42331          0              0              25   25   12   
11.63/1.80	c 332            4151           261121         68007          0              0              114   1072   636
12.43/1.80	c 130            3648           218841         55859          0              0              290   290   145
13.22/1.94	c 465            2523           288035         49543          0              0              251   261   254
13.22/1.94	c 135            3457           236398         46847          0              0              307   307   153
14.08/2.02	c 131            4021           250584         60456          0              0              373   373   186
14.08/2.05	c 256            3752           281645         64220          0              0              169   302   286
14.08/2.07	c 134            5172           261022         45372          0              0              1033   1033   516
14.08/2.10	c 135            5211           264049         46236          0              0              39   39   19   
14.08/2.10	c First solution is found
14.08/2.10	c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4.
14.08/2.10	c [pFactory][Group N°0] Thread N°0 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°1 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°2 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°3 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°4 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°5 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°6 is joined.
14.08/2.10	c [pFactory][Group N°0] Thread N°7 is joined.
14.08/2.10	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°6)
14.08/2.10	s SATISFIABLE
14.08/2.10	c restarts              : 14          
14.08/2.10	c conflicts             : 139          (9 /sec)
14.08/2.10	c decisions             : 3739         (254 /sec)
14.08/2.10	c propagations          : 50820       (3458 /sec)
14.08/2.10	c root propagations     : 0           
14.08/2.10	c filter calls          : 257396         (17514 /sec)
14.08/2.10	c useless filter calls  : 250214         (97 %)
14.08/2.10	c Memory used           : 642.57 MB
14.08/2.10	c CPU time              : 14.6968 s
14.08/2.10	c real time             : 2.09673 s
14.08/2.10	
14.08/2.10	c solution 1
14.08/2.10	
14.08/2.10	v <instantiation type='solution'>
14.08/2.10	v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list>
14.08/2.10	v <values>11 11 9 2 2 11 11 9 2 2 7 11 11 13 2 2 13 16 23 2 9 2 11 11 2 9 2 11 9 11 2 2 11 11 9 2 2 9 11 17 9 6 15 9 2 11 9 6 23 21 23 11 8 9 6 23 9 19 8 2 11 9 16 8 14 11 8 16 9 5 11 13 11 18 11 11 9 2 2 17 9 17 11 23 12 4 23 9 11 11 2 16 20 11 17 11 2 11 9 11 2 2 9 11 11 2 2 23 9 11 2 11 15 2 13 2 17 11 22 17 2 11 11 2 11 9 2 11 11 9 11 2 2 17 9 1 2 14 17 2 10 11 1 2 20 17 11 9 6 2 14 23 16 0 11 17 6 11 2 9 11 11 2 3 11 2 17 11 20 16 6 11 9 17 2 11 2 14 11 2 9 2 11 9 2 11 11 2 9 2 11 11 2 9 2 11 9 11 11 9 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 </values>
14.08/2.10	v </instantiation>
14.08/2.10

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 (14645 MiB free)
  memory of node 1: 16384 MiB (14232 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397992-1568605489/watcher-4397992-1568605489 -o /tmp/evaluation-result-4397992-1568605489/solver-4397992-1568605489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397992-1568605489.xml 

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

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


[startup+0.100166 s]*
/proc/loadavg: 0.92 1.65 4.35 2/192 17084
/proc/meminfo: memFree=29526716/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=76396 memory=52728 CPUtime=0.1 cores=0-7
/proc/17083/stat : 17083 (cosoco) R 17080 17083 15549 0 -1 4202496 13409 0 0 0 9 1 0 0 20 0 1 0 436463791 78229504 13182 33554432000 4194304 6211092 140726954122384 140726954118920 140692932709349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 19132 13182 849 493 0 12437 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76396 KiB
Current children cumulated memory: 52728 KiB

[startup+0.209341 s]*
/proc/loadavg: 0.92 1.65 4.35 2/192 17084
/proc/meminfo: memFree=29506628/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=93136 memory=69468 CPUtime=0.2 cores=0-7
/proc/17083/stat : 17083 (cosoco) R 17080 17083 15549 0 -1 4202496 17566 0 0 0 19 1 0 0 20 0 1 0 436463791 95371264 17367 33554432000 4194304 6211092 140726954122384 140726954118920 140692932757380 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 23284 17367 849 493 0 16589 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 69468 KiB

[startup+0.309967 s]*
/proc/loadavg: 0.92 1.65 4.35 10/200 17092
/proc/meminfo: memFree=29496456/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=690772 memory=79332 CPUtime=0.64 cores=0-7
/proc/17083/stat : 17083 (cosoco) S 17080 17083 15549 0 -1 1077944320 20378 0 0 0 62 2 0 0 20 0 9 0 436463791 707350528 19833 33554432000 4194304 6211092 140726954122384 140726954120640 140692948750071 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 172693 19833 885 493 0 165998 0
[pid=17083/tid=17085] ppid=17080 vsize=690772 memory=8317482817917895235 CPUtime=0.04 cores=0-7
/proc/17083/task/17085/stat : 17085 (cosoco) R 17080 17083 15549 0 -1 4202560 45 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692925607288 140692932705086 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17086] ppid=17080 vsize=690772 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/17083/task/17086/stat : 17086 (cosoco) R 17080 17083 15549 0 -1 4202560 130 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692917213992 140692932705086 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17087] ppid=17080 vsize=690772 memory=0 CPUtime=0.04 cores=0-7
/proc/17083/task/17087/stat : 17087 (cosoco) R 17080 17083 15549 0 -1 4202560 107 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692908821256 140692932705086 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17088] ppid=17080 vsize=690772 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/17083/task/17088/stat : 17088 (cosoco) R 17080 17083 15549 0 -1 4202560 91 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692900428504 5155345 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17089] ppid=17080 vsize=690772 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/17083/task/17089/stat : 17089 (cosoco) R 17080 17083 15549 0 -1 4202560 96 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692892035880 5155353 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17090] ppid=17080 vsize=690772 memory=0 CPUtime=0.04 cores=0-7
/proc/17083/task/17090/stat : 17090 (cosoco) R 17080 17083 15549 0 -1 4202560 110 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692883642984 5156256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17091] ppid=17080 vsize=690772 memory=0 CPUtime=0.04 cores=0-7
/proc/17083/task/17091/stat : 17091 (cosoco) R 17080 17083 15549 0 -1 4202560 118 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692875250280 5250450 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17092] ppid=17080 vsize=690772 memory=0 CPUtime=0.04 cores=0-7
/proc/17083/task/17092/stat : 17092 (cosoco) R 17080 17083 15549 0 -1 4202560 112 0 0 0 4 0 0 0 20 0 9 0 436463818 707350528 19833 33554432000 4194304 6211092 140726954122384 140692866857768 140692932705086 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 690772 KiB
Current children cumulated memory: 79332 KiB

[startup+0.700969 s]
/proc/loadavg: 0.92 1.65 4.35 6/200 17092
/proc/meminfo: memFree=29483352/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=690772 memory=103880 CPUtime=3.64 cores=0-7
/proc/17083/stat : 17083 (cosoco) S 17080 17083 15549 0 -1 1077944320 26479 0 0 0 361 3 0 0 20 0 9 0 436463791 707350528 25970 33554432000 4194304 6211092 140726954122384 140726954120640 140692948750071 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 172693 25970 889 493 0 165998 0
[pid=17083/tid=17085] ppid=17080 vsize=690772 memory=1760 CPUtime=0.42 cores=0-7
/proc/17083/task/17085/stat : 17085 (cosoco) R 17080 17083 15549 0 -1 4202560 842 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692925606616 5250465 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17086] ppid=17080 vsize=690772 memory=111636 CPUtime=0.42 cores=0-7
/proc/17083/task/17086/stat : 17086 (cosoco) R 17080 17083 15549 0 -1 4202560 833 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692917214304 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17087] ppid=17080 vsize=690772 memory=808 CPUtime=0.42 cores=0-7
/proc/17083/task/17087/stat : 17087 (cosoco) R 17080 17083 15549 0 -1 4202560 952 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692908821288 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17088] ppid=17080 vsize=690772 memory=1804 CPUtime=0.4 cores=0-7
/proc/17083/task/17088/stat : 17088 (cosoco) R 17080 17083 15549 0 -1 4202560 839 0 0 0 40 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692900428392 5250224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17089] ppid=17080 vsize=690772 memory=920 CPUtime=0.41 cores=0-7
/proc/17083/task/17089/stat : 17089 (cosoco) R 17080 17083 15549 0 -1 4202560 928 0 0 0 41 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692892035720 5158146 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17090] ppid=17080 vsize=690772 memory=-7175204567652784766 CPUtime=0.42 cores=0-7
/proc/17083/task/17090/stat : 17090 (cosoco) R 17080 17083 15549 0 -1 4202560 857 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692883643488 5193696 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17091] ppid=17080 vsize=690772 memory=3054156605268465310 CPUtime=0.42 cores=0-7
/proc/17083/task/17091/stat : 17091 (cosoco) R 17080 17083 15549 0 -1 4202560 945 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692875250440 5155345 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17092] ppid=17080 vsize=690772 memory=1408 CPUtime=0.42 cores=0-7
/proc/17083/task/17092/stat : 17092 (cosoco) R 17080 17083 15549 0 -1 4202560 710 0 0 0 42 0 0 0 20 0 9 0 436463818 707350528 25970 33554432000 4194304 6211092 140726954122384 140692866857688 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 690772 KiB
Current children cumulated memory: 103880 KiB

[startup+1.50097 s]
/proc/loadavg: 0.92 1.65 4.35 9/200 17092
/proc/meminfo: memFree=29471796/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=690772 memory=110728 CPUtime=10.03 cores=0-7
/proc/17083/stat : 17083 (cosoco) S 17080 17083 15549 0 -1 1077944320 47490 0 0 0 992 11 0 0 20 0 9 0 436463791 707350528 27682 33554432000 4194304 6211092 140726954122384 140726954120640 140692948750071 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 172693 27682 890 493 0 165998 0
[pid=17083/tid=17085] ppid=17080 vsize=690772 memory=297813778 CPUtime=1.22 cores=0-7
/proc/17083/task/17085/stat : 17085 (cosoco) R 17080 17083 15549 0 -1 4202560 2527 0 0 0 121 1 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692925607008 5155668 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17086] ppid=17080 vsize=690772 memory=0 CPUtime=1.21 cores=0-7
/proc/17083/task/17086/stat : 17086 (cosoco) R 17080 17083 15549 0 -1 4202560 2095 0 0 0 121 0 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692917213800 5250251 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17087] ppid=17080 vsize=690772 memory=0 CPUtime=1.22 cores=0-7
/proc/17083/task/17087/stat : 17087 (cosoco) R 17080 17083 15549 0 -1 4202560 3979 0 0 0 120 2 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692908821128 5156256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17088] ppid=17080 vsize=690772 memory=213631673337210 CPUtime=1.2 cores=0-7
/proc/17083/task/17088/stat : 17088 (cosoco) R 17080 17083 15549 0 -1 4202560 2982 0 0 0 120 0 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692900428896 5155750 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17089] ppid=17080 vsize=690772 memory=280550082827296 CPUtime=1.21 cores=0-7
/proc/17083/task/17089/stat : 17089 (cosoco) R 17080 17083 15549 0 -1 4202560 3556 0 0 0 121 0 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692892036192 5155353 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17090] ppid=17080 vsize=690772 memory=213633082609009 CPUtime=1.22 cores=0-7
/proc/17083/task/17090/stat : 17090 (cosoco) R 17080 17083 15549 0 -1 4202560 3919 0 0 0 122 0 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692883643488 5155353 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17091] ppid=17080 vsize=690772 memory=213631673337213 CPUtime=1.22 cores=0-7
/proc/17083/task/17091/stat : 17091 (cosoco) R 17080 17083 15549 0 -1 4202560 4281 0 0 0 120 2 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692875250784 5156440 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17092] ppid=17080 vsize=690772 memory=213631673337214 CPUtime=1.21 cores=0-7
/proc/17083/task/17092/stat : 17092 (cosoco) R 17080 17083 15549 0 -1 4202560 4578 0 0 0 120 1 0 0 20 0 9 0 436463818 707350528 27682 33554432000 4194304 6211092 140726954122384 140692866858080 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
Current children cumulated CPU time: 10.03 s
Current children cumulated vsize: 690772 KiB
Current children cumulated memory: 110728 KiB

[startup+2.11428 s]
# the end of solver process 17083 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.6973 s, system=0.142889 s

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

[startup+1.60097 s]
/proc/loadavg: 0.92 1.65 4.35 9/200 17092
/proc/meminfo: memFree=29471796/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=690772 memory=110788 CPUtime=10.83 cores=0-7
/proc/17083/stat : 17083 (cosoco) S 17080 17083 15549 0 -1 1077944320 49232 0 0 0 1072 11 0 0 20 0 9 0 436463791 707350528 27697 33554432000 4194304 6211092 140726954122384 140726954120640 140692948750071 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 172693 27697 890 493 0 165998 0
[pid=17083/tid=17085] ppid=17080 vsize=690772 memory=1436 CPUtime=1.32 cores=0-7
/proc/17083/task/17085/stat : 17085 (cosoco) R 17080 17083 15549 0 -1 4202560 3078 0 0 0 131 1 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692925607008 5157421 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17086] ppid=17080 vsize=690772 memory=4152 CPUtime=1.31 cores=0-7
/proc/17083/task/17086/stat : 17086 (cosoco) R 17080 17083 15549 0 -1 4202560 2840 0 0 0 131 0 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692917214304 5193754 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17087] ppid=17080 vsize=690772 memory=1548 CPUtime=1.32 cores=0-7
/proc/17083/task/17087/stat : 17087 (cosoco) R 17080 17083 15549 0 -1 4202560 3992 0 0 0 130 2 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692908821128 5250241 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17088] ppid=17080 vsize=690772 memory=1728 CPUtime=1.3 cores=0-7
/proc/17083/task/17088/stat : 17088 (cosoco) R 17080 17083 15549 0 -1 4202560 2983 0 0 0 130 0 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692900428896 5156456 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17089] ppid=17080 vsize=690772 memory=8004 CPUtime=1.31 cores=0-7
/proc/17083/task/17089/stat : 17089 (cosoco) R 17080 17083 15549 0 -1 4202560 3585 0 0 0 131 0 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692892036192 5158176 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17090] ppid=17080 vsize=690772 memory=9580 CPUtime=1.32 cores=0-7
/proc/17083/task/17090/stat : 17090 (cosoco) R 17080 17083 15549 0 -1 4202560 4065 0 0 0 132 0 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692883643176 5185344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17091] ppid=17080 vsize=690772 memory=1052 CPUtime=1.32 cores=0-7
/proc/17083/task/17091/stat : 17091 (cosoco) R 17080 17083 15549 0 -1 4202560 4467 0 0 0 130 2 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692875250784 5250293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17092] ppid=17080 vsize=690772 memory=776 CPUtime=1.31 cores=0-7
/proc/17083/task/17092/stat : 17092 (cosoco) R 17080 17083 15549 0 -1 4202560 4649 0 0 0 130 1 0 0 20 0 9 0 436463818 707350528 27697 33554432000 4194304 6211092 140726954122384 140692866858080 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
Current children cumulated CPU time: 10.83 s
Current children cumulated vsize: 690772 KiB
Current children cumulated memory: 110788 KiB

[startup+2.00097 s]*
/proc/loadavg: 0.92 1.65 4.35 9/200 17092
/proc/meminfo: memFree=29465000/32770624 swapFree=66939904/67108860
[pid=17083] ppid=17080 vsize=690772 memory=111564 CPUtime=14.08 cores=0-7
/proc/17083/stat : 17083 (cosoco) S 17080 17083 15549 0 -1 1077944320 51795 0 0 0 1396 12 0 0 20 0 9 0 436463791 707350528 27891 33554432000 4194304 6211092 140726954122384 140726954120640 140692948750071 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
/proc/17083/statm: 172693 27891 890 493 0 165998 0
[pid=17083/tid=17085] ppid=17080 vsize=690772 memory=8317482817917895235 CPUtime=1.72 cores=0-7
/proc/17083/task/17085/stat : 17085 (cosoco) R 17080 17083 15549 0 -1 4202560 3524 0 0 0 171 1 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692925607008 5155341 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17086] ppid=17080 vsize=690772 memory=4872558044660077418 CPUtime=1.7 cores=0-7
/proc/17083/task/17086/stat : 17086 (cosoco) R 17080 17083 15549 0 -1 4202560 3416 0 0 0 170 0 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692917213992 5035320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17087] ppid=17080 vsize=690772 memory=7005738693937936738 CPUtime=1.73 cores=0-7
/proc/17083/task/17087/stat : 17087 (cosoco) R 17080 17083 15549 0 -1 4202560 4306 0 0 0 171 2 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692908821288 5155341 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17088] ppid=17080 vsize=690772 memory=0 CPUtime=1.7 cores=0-7
/proc/17083/task/17088/stat : 17088 (cosoco) R 17080 17083 15549 0 -1 4202560 3244 0 0 0 170 0 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692900428896 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17089] ppid=17080 vsize=690772 memory=4640748753518612560 CPUtime=1.72 cores=0-7
/proc/17083/task/17089/stat : 17089 (cosoco) R 17080 17083 15549 0 -1 4202560 3803 0 0 0 172 0 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692892036192 5157421 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17090] ppid=17080 vsize=690772 memory=8025788835569559914 CPUtime=1.72 cores=0-7
/proc/17083/task/17090/stat : 17090 (cosoco) R 17080 17083 15549 0 -1 4202560 4615 0 0 0 172 0 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692883643176 5250298 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17091] ppid=17080 vsize=690772 memory=7158313730702403928 CPUtime=1.72 cores=0-7
/proc/17083/task/17091/stat : 17091 (cosoco) R 17080 17083 15549 0 -1 4202560 4654 0 0 0 170 2 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692875250784 140692933185111 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
[pid=17083/tid=17092] ppid=17080 vsize=690772 memory=0 CPUtime=1.72 cores=0-7
/proc/17083/task/17092/stat : 17092 (cosoco) R 17080 17083 15549 0 -1 4202560 4660 0 0 0 171 1 0 0 20 0 9 0 436463818 707350528 27891 33554432000 4194304 6211092 140726954122384 140692866858080 5136287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29691904 140726954124305 140726954124397 140726954124397 140726954127310 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 690772 KiB
Current children cumulated memory: 111564 KiB

Child status: 0
Real time (s): 2.11434
CPU time (s): 14.8402
CPU user time (s): 14.6973
CPU system time (s): 0.142889
CPU usage (%): 701.884
Max. virtual memory (cumulated for all children) (KiB): 690772
Max. memory (cumulated for all children) (KiB): 111564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6973
system time used= 0.142889
maximum resident set size= 113616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 806
involuntary context switches= 179


# summary of solver processes directly reported to runsolver:
#   pid: 17083
#   total CPU time (s): 14.8402
#   total CPU user time (s): 14.6973
#   total CPU system time (s): 0.142889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032692 second user time and 0.065254 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-16 05:44:09
IDJOB=4397992
IDBENCH=128111
IDSOLVER=2851
FILE ID=node119/4397992-1568605489
RUNJOBID= node119-1568597993-15576
PBS_JOBID= 21703416
Free space on /tmp= 61372 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397992-1568605489/watcher-4397992-1568605489 -o /tmp/evaluation-result-4397992-1568605489/solver-4397992-1568605489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4397992-1568605489.xml

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

MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466
RANDOM SEED=799641401

node119.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.47
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.47
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.47
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.47
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:        29571788 kB
MemAvailable:   31821056 kB
Buffers:           86516 kB
Cached:          2445820 kB
SwapCached:        61076 kB
Active:          1242560 kB
Inactive:        1355108 kB
Active(anon):       2860 kB
Inactive(anon):   112096 kB
Active(file):    1239700 kB
Inactive(file):  1243012 kB
Unevictable:      107752 kB
Mlocked:          107752 kB
SwapTotal:      67108860 kB
SwapFree:       66939904 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        113076 kB
Mapped:            47340 kB
Shmem:             41008 kB
Slab:             194120 kB
SReclaimable:     164780 kB
SUnreclaim:        29340 kB
KernelStack:        3408 kB
PageTables:         5092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61368 MiB
End job on node119 at 2019-09-16 05:44:11