Trace number 4295801

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 1.12SAT 948.179 948.158

General information on the benchmark

NameSportsScheduling/
SportsScheduling-12_c18.xml
MD5SUM7e6479b2a75a5c904a12e855693ae1ca
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 benchmark1.54491
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints114
Number of domains2
Minimum domain size12
Maximum domain size66
Distribution of domain sizes[{"size":12,"count":144},{"size":66,"count":66}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":72},{"degree":4,"count":138}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":6},{"arity":2,"count":6},{"arity":3,"count":66},{"arity":6,"count":11},{"arity":12,"count":12},{"arity":22,"count":6},{"arity":24,"count":6},{"arity":66,"count":1}]
Number of extensional constraints66
Number of intensional constraints12
Distribution of constraint types[{"type":"extension","count":66},{"type":"intension","count":12},{"type":"allDifferent","count":13},{"type":"count","count":11},{"type":"cardinality","count":12}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 22 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 24 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c root propagations     : 646         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295801-1532571017.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 210
0.00/0.01	c |            Domain Sizes: 12..66
0.00/0.01	c |
0.00/0.01	c |             Constraints: 318
0.00/0.01	c |                   Arity: 1..66  -- Unary: 6  -- Binary: 6  -- Ternary: 66
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 6
0.00/0.01	c |                          All Different: 13
0.00/0.01	c |                          At least: 72
0.00/0.01	c |                          At most: 72
0.00/0.01	c |                          Exactly K: 83
0.00/0.01	c |                          Extension: 66  (nb tuples: 66..66) -- (shared: 65)
0.00/0.01	c |                          Unary: 6
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            228            31291          11693          210            0              37   60   56   
0.00/0.02	c 211            451            51624          19836          210            0              15   31   17   
0.00/0.03	c 332            696            76215          30836          210            0              21   61   56   
0.00/0.04	c 465            1091           124659         45224          210            0              64   129   109 
0.00/0.05	c 611            1513           168704         58480          210            0              8   140   115  
0.00/0.06	c 771            1820           199618         73875          210            0              1   22   20    
0.00/0.08	c 947            2251           254413         95478          210            0              65   86   76   
0.00/0.09	c 1140           2608           291004         113872         210            0              10   24   22   
0.00/0.10	c 1352           3003           341966         137537         210            0              28   39   36   
0.10/0.11	c 1585           3433           386382         159856         210            0              8   24   22    
0.10/0.13	c 1841           3910           439749         186545         210            0              28   39   36   
0.10/0.14	c 2122           4427           491213         213195         210            0              8   24   22    
0.10/0.16	c 2431           5027           556481         246667         210            0              28   39   37   
0.10/0.18	c 2770           5639           618447         279036         210            0              8   19   16    
0.10/0.19	c 3142           6308           686685         314396         210            0              8   19   16    
0.10/0.21	c 3551           7044           757725         351301         210            0              8   19   16    
0.21/0.23	c 4000           7828           838014         392225         210            0              2   57   28    
0.21/0.25	c 4493           8640           923987         437391         210            0              8   22   19    
0.21/0.28	c 5035           9672           1026451        488165         210            0              2   105   27   
0.31/0.31	c 5631           10790          1145494        548930         210            0              1   40   30    
0.31/0.34	c 6286           11910          1259471        609925         210            0              11   22   18   
0.31/0.38	c 7006           13286          1401729        677550         210            0              2   87   42    
0.41/0.41	c 7798           14596          1537426        751653         210            0              8   22   18    
0.41/0.46	c 8669           16125          1695985        837210         210            0              8   19   15    
0.41/0.50	c 9627           17715          1858121        928151         210            0              8   19   15    
0.51/0.54	c 10680          19454          2040712        1030462        210            0              8   19   15    
0.51/0.60	c 11838          21357          2241842        1141393        210            0              8   19   14    
0.60/0.65	c 13111          23380          2452869        1261963        210            0              8   19   14    
0.69/0.71	c 14511          25821          2702173        1401431        210            0              8   19   14    
0.69/0.78	c 16051          28352          2958295        1548113        210            0              8   19   14    
0.79/0.88	c 17745          31571          3316694        1731031        210            0              2   57   50    
0.89/0.96	c 19608          34494          3628395        1906684        210            0              8   22   18    
1.00/1.06	c 21657          38184          4012987        2101689        210            0              2   37   33    
1.10/1.16	c 23910          41835          4395921        2318872        210            0              9   20   15    
1.29/1.30	c 26388          46471          4898259        2574917        210            0              2   37   33    
1.39/1.42	c 29113          50911          5366936        2835311        210            0              2   22   17    
1.49/1.59	c 32110          56498          5959418        3141264        210            0              2   37   33    
1.69/1.73	c 35406          62133          6544378        3454493        210            0              1   37   18    
1.79/1.89	c 39031          68102          7170384        3798205        210            0              2   75   20    
2.00/2.08	c 43018          74929          7900706        4189924        210            0              1   38   22    
2.19/2.29	c 47403          82466          8701959        4622372        210            0              2   73   22    
2.49/2.54	c 52226          90952          9605811        5099554        210            0              9   38   20    
2.79/2.80	c 57531          99961          10562780       5618955        210            0              9   37   25    
3.10/3.17	c 63366          113601         11856460       6196701        210            0              13   135   64  
3.39/3.49	c 69784          125016         13043229       6818906        210            0              1   57   32    
3.79/3.84	c 76843          137011         14331689       7505519        210            0              8   40   28    
4.29/4.30	c 84607          151439         15889085       8295121        210            0              14   106   39  
4.69/4.77	c 93147          167119         17606793       9167930        210            0              9   38   27    
5.29/5.33	c 102541         187532         19602198       10067294       210            0              2   152   60   
5.89/5.94	c 112874         207251         21665192       11043310       210            0              1   79   49    
6.49/6.55	c 124240         227382         23859632       12116964       210            0              8   73   36    
7.19/7.23	c 136742         249334         26331534       13332318       210            0              9   58   35    
8.00/8.04	c 150494         275052         29174111       14752588       210            0              9   55   35    
8.89/8.95	c 165621         303612         32341884       16298317       210            0              9   55   40    
9.79/9.81	c 182260         333077         35295112       17800200       210            0              13   73   41   
11.00/11.04	c 200562         371205         39274582       19726703       210            0              16   73   62   
12.10/12.15	c 220694         408049         43199654       21677089       210            0              11   73   42   
13.29/13.39	c 242839         450028         47424693       23649394       210            0              8   99   55    
14.69/14.76	c 267198         497240         52217704       25949044       210            0              9   124   46   
16.29/16.38	c 293992         548558         57610759       28312488       210            0              1   94   59    
18.19/18.24	c 323465         619360         63776455       30736545       210            0              11   152   93  
20.49/20.55	c 355885         689833         70980943       33647471       210            0              13   97   84   
23.10/23.14	c 391547         778126         80415617       36846498       210            0              11   170   100 
25.69/25.70	c 430775         852459         88842465       40504004       210            0              8   81   62    
29.29/29.32	c 473925         969584         101166297      44932010       210            0              13   146   100 
32.19/32.23	c 521390         1051350        110874526      49450665       210            0              8   42   36    
37.39/37.46	c 573601         1223344        129768561      55801444       210            0              26   171   117 
41.39/41.48	c 631033         1389982        143687485      60597375       210            0              8   140   93   
45.49/45.57	c 694208         1511146        158723506      67417362       210            0              15   55   50   
50.29/50.33	c 763700         1649596        174514582      74296573       210            0              10   93   67   
55.29/55.34	c 840141         1797660        190497418      82322959       210            0              15   67   35   
60.49/60.54	c 924226         1974522        206798439      88549500       210            0              8   112   88   
67.10/67.17	c 1016719        2185051        227651661      96868577       210            0              15   135   94  
73.29/73.32	c 1118461        2372780        247531661      106287890      210            0              1   88   51    
83.10/83.18	c 1230377        2667523        284020320      117574765      210            0              8   153   111  
94.10/94.14	c 1353484        3057369        322104596      130671645      210            0              8   159   116  
101.39/101.43	c 1488901        3299813        348191382      143459919      210            0              15   64   40   
111.39/111.45	c 1637859        3573798        380847669      158266102      210            0              8   67   53    
123.39/123.42	c 1801712        3938357        421302597      172526992      210            0              8   141   101  
137.29/137.37	c 1981950        4366970        466478679      188098781      210            0              15   95   79   
150.19/150.25	c 2180211        4763869        511051930      208964566      210            0              1   52   43    
163.59/163.61	c 2398298        5179763        558457852      227653711      210            0              8   67   63    
188.19/188.24	c 2638193        6040101        646400533      257173428      210            0              10   169   125 
208.29/208.36	c 2902077        6651969        716395728      282255765      210            0              1   134   75   
233.50/233.57	c 3192349        7557839        800324368      311276137      210            0              15   162   112 
255.00/255.07	c 3511648        8197655        873372747      340239377      210            0              10   114   69  
288.90/288.94	c 3862876        9329126        993928705      377703275      210            0              30   174   127 
311.60/311.66	c 4249226        10134352       1074625725     412229435      210            0              1   167   52   
344.00/344.10	c 4674211        11181587       1180134714     449911095      210            0              8   150   97   
380.60/380.66	c 5141694        12237656       1305890330     501387186      210            0              1   130   98   
415.50/415.58	c 5655925        13326395       1421345770     545469047      210            0              1   157   81   
451.30/451.35	c 6221579        14486229       1539123172     596677689      210            0              8   133   61   
516.11/516.13	c 6843798        16687317       1782002284     668407073      210            0              1   179   129  
558.20/558.20	c 7528238        17969933       1924888159     731021294      210            0              8   91   44    
626.71/626.75	c 8281122        20172604       2158176827     812273766      210            0              8   177   125  
678.41/678.42	c 9109294        21721489       2320384005     889149932      210            0              8   111   55   
760.41/760.43	c 10020283       24253854       2603410453     996118045      210            0              8   184   111  
826.51/826.52	c 11022370       26344334       2825923780     1087272163     210            0              8   135   75   
921.12/921.11	c 12124665       29486248       3148832164     1194834649     210            0              37   178   122 
948.12/948.15	c solution 1
948.12/948.15	
948.12/948.15	v <instantiation type='solution'>
948.12/948.15	v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5] </list>
948.12/948.15	v <values>0 0 8 9 4 1 2 5 3 4 3 2 9 1 3 6 7 0 2 5 1 0 4 8 2 7 3 0 1 6 0 3 2 6 1 6 1 0 2 5 3 4 0 7 8 4 0 6 1 3 4 1 2 2 5 10 5 7 0 2 4 3 0 1 5 1 1 2 11 10 8 5 6 9 11 7 6 3 11 4 5 10 9 7 10 8 8 11 5 10 5 11 7 6 10 11 9 9 4 7 3 9 2 5 8 11 4 10 10 8 9 6 3 8 11 10 9 7 7 11 10 11 7 10 4 9 11 8 8 6 6 9 0 1 62 63 41 14 24 48 37 40 32 21 64 13 31 54 57 6 28 47 17 10 38 61 23 59 33 5 19 55 8 35 22 51 12 53 11 4 26 50 30 43 9 56 60 39 2 52 20 36 42 16 25 29 49 65 46 58 3 27 44 34 7 15 45 18 7 4 1 9 0 2 10 6 8 11 5 3 </values>
948.12/948.15	v </instantiation>
948.12/948.15	
948.12/948.15	c restarts              : 99          
948.12/948.15	c conflicts             : 12567419     (13254 /sec)
948.12/948.15	c decisions             : 30467811     (32133 /sec)
948.12/948.15	c propagations          : 1232567112  (1299935 /sec)
948.12/948.15	c root propagations     : 646         
948.12/948.15	c filter calls          : 3247294269     (3424781 /sec)
948.12/948.15	c useless filter calls  : 3116971838     (95 %)
948.12/948.15	c Memory used           : 27.55 MB
948.12/948.15	c CPU time              : 948.176 s
948.12/948.15	
948.12/948.15	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295801-1532571017/watcher-4295801-1532571017 -o /tmp/evaluation-result-4295801-1532571017/solver-4295801-1532571017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295801-1532571017.xml 

running on 4 cores: 1,3,5,7

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

solver pid=2055, runsolver pid=2052

[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21802096/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4712 CPUtime=0.1 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1388 0 0 0 10 0 0 0 20 0 1 0 74664918 28884992 1178 33554432000 4194304 6142532 140720530054432 140720530051064 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1178 865 476 0 374 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4712 KiB

[startup+0.209545 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801752/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4712 CPUtime=0.21 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1388 0 0 0 21 0 0 0 20 0 1 0 74664918 28884992 1178 33554432000 4194304 6142532 140720530054432 140720530051064 140667495070816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1178 865 476 0 374 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4712 KiB

[startup+0.308972 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801752/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4712 CPUtime=0.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1388 0 0 0 31 0 0 0 20 0 1 0 74664918 28884992 1178 33554432000 4194304 6142532 140720530054432 140720530051064 5058760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1178 865 476 0 374 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4712 KiB

[startup+0.700268 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801752/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4712 CPUtime=0.69 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1388 0 0 0 69 0 0 0 20 0 1 0 74664918 28884992 1178 33554432000 4194304 6142532 140720530054432 140720530051832 5016485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1178 865 476 0 374 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4712 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801156/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4712 CPUtime=1.49 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1388 0 0 0 149 0 0 0 20 0 1 0 74664918 28884992 1178 33554432000 4194304 6142532 140720530054432 140720530051832 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1178 865 476 0 374 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4712 KiB

[startup+3.10905 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801156/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4924 CPUtime=3.1 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1673 0 0 0 310 0 0 0 20 0 1 0 74664918 28884992 1231 33554432000 4194304 6142532 140720530054432 140720530051832 5054344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1231 886 476 0 374 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4924 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21800868/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4932 CPUtime=6.29 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 1960 0 0 0 629 0 0 0 20 0 1 0 74664918 28884992 1233 33554432000 4194304 6142532 140720530054432 140720530051832 5054897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1233 886 476 0 374 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4932 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21800928/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4940 CPUtime=12.69 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 2246 0 0 0 1269 0 0 0 20 0 1 0 74664918 28884992 1235 33554432000 4194304 6142532 140720530054432 140720530051832 5017712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1235 886 476 0 374 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4940 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801308/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4972 CPUtime=25.49 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 2836 0 0 0 2549 0 0 0 20 0 1 0 74664918 28884992 1243 33554432000 4194304 6142532 140720530054432 140720530051832 5016422 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1243 886 476 0 374 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4972 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801540/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4976 CPUtime=51.1 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 3133 0 0 0 5110 0 0 0 20 0 1 0 74664918 28884992 1244 33554432000 4194304 6142532 140720530054432 140720530051832 5061846 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1244 886 476 0 374 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4976 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2057
/proc/meminfo: memFree=21801268/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4976 CPUtime=102.29 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 3431 0 0 0 10229 0 0 0 20 0 1 0 74664918 28884992 1244 33554432000 4194304 6142532 140720530054432 140720530051832 4991092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1244 886 476 0 374 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4976 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2058
/proc/meminfo: memFree=21801236/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4988 CPUtime=162.29 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 3729 0 0 0 16229 0 0 0 20 0 1 0 74664918 28884992 1247 33554432000 4194304 6142532 140720530054432 140720530051832 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1247 886 476 0 374 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4988 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2059
/proc/meminfo: memFree=21800948/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4988 CPUtime=222.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 4028 0 0 0 22230 0 0 0 20 0 1 0 74664918 28884992 1247 33554432000 4194304 6142532 140720530054432 140720530051832 5327691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1247 886 476 0 374 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4988 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2060
/proc/meminfo: memFree=21801156/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4992 CPUtime=282.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 4328 0 0 0 28230 0 0 0 20 0 1 0 74664918 28884992 1248 33554432000 4194304 6142532 140720530054432 140720530051832 5121089 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1248 886 476 0 374 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4992 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2061
/proc/meminfo: memFree=21800772/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4996 CPUtime=342.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 4627 0 0 0 34230 0 0 0 20 0 1 0 74664918 28884992 1249 33554432000 4194304 6142532 140720530054432 140720530051832 5121075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1249 886 476 0 374 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4996 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2062
/proc/meminfo: memFree=21800552/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4996 CPUtime=402.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 4926 0 0 0 40230 0 0 0 20 0 1 0 74664918 28884992 1249 33554432000 4194304 6142532 140720530054432 140720530051832 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1249 886 476 0 374 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4996 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803500/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4996 CPUtime=462.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 5226 0 0 0 46230 0 0 0 20 0 1 0 74664918 28884992 1249 33554432000 4194304 6142532 140720530054432 140720530051832 5120796 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1249 886 476 0 374 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4996 KiB

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2126
/proc/meminfo: memFree=21803616/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=4996 CPUtime=522.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 5527 0 0 0 52230 0 0 0 20 0 1 0 74664918 28884992 1249 33554432000 4194304 6142532 140720530054432 140720530051832 5062194 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1249 886 476 0 374 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 4996 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2127
/proc/meminfo: memFree=21802972/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5000 CPUtime=582.3 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 5828 0 0 0 58230 0 0 0 20 0 1 0 74664918 28884992 1250 33554432000 4194304 6142532 140720530054432 140720530051832 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1250 886 476 0 374 0
Current children cumulated CPU time: 582.3 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5000 KiB

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2135
/proc/meminfo: memFree=21802324/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5004 CPUtime=642.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 6129 0 0 0 64231 0 0 0 20 0 1 0 74664918 28884992 1251 33554432000 4194304 6142532 140720530054432 140720530051832 5017775 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1251 886 476 0 374 0
Current children cumulated CPU time: 642.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5004 KiB

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2136
/proc/meminfo: memFree=21802288/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5004 CPUtime=702.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 6429 0 0 0 70231 0 0 0 20 0 1 0 74664918 28884992 1251 33554432000 4194304 6142532 140720530054432 140720530051832 5013950 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1251 886 476 0 374 0
Current children cumulated CPU time: 702.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5004 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2137
/proc/meminfo: memFree=21802104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5004 CPUtime=762.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 6731 0 0 0 76231 0 0 0 20 0 1 0 74664918 28884992 1251 33554432000 4194304 6142532 140720530054432 140720530051832 5061881 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1251 886 476 0 374 0
Current children cumulated CPU time: 762.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5004 KiB

[startup+822.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 2138
/proc/meminfo: memFree=21802396/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5004 CPUtime=822.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7009 0 0 0 82231 0 0 0 20 0 1 0 74664918 28884992 1251 33554432000 4194304 6142532 140720530054432 140720530051832 5118018 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1251 886 476 0 374 0
Current children cumulated CPU time: 822.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5004 KiB

[startup+882.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 2139
/proc/meminfo: memFree=21802892/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5004 CPUtime=882.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7301 0 0 0 88231 0 0 0 20 0 1 0 74664918 28884992 1251 33554432000 4194304 6142532 140720530054432 140720530051832 5061716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1251 886 476 0 374 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5004 KiB

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=942.31 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94231 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5327691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+948.158 s]
# the end of solver process 2055 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=948.176 s, system=0.003 s

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

[startup+944 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=944.02 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94402 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 944.02 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+945.6 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803096/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=945.61 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94561 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5058648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 945.61 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+947.2 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=947.21 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94721 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5053536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 947.21 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+947.6 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=947.61 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94761 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 947.61 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+948 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=948.02 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94802 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5319106 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 948.02 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

[startup+948.109 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2141
/proc/meminfo: memFree=21803104/32770624 swapFree=67108860/67108860
[pid=2055] ppid=2052 vsize=28208 memory=5008 CPUtime=948.12 cores=1,3,5,7
/proc/2055/stat : 2055 (cosoco) R 2052 2055 30456 0 -1 4202496 7604 0 0 0 94812 0 0 0 20 0 1 0 74664918 28884992 1252 33554432000 4194304 6142532 140720530054432 140720530051832 5328272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19501056 140720530056326 140720530056456 140720530056456 140720530059214 0
/proc/2055/statm: 7052 1252 886 476 0 374 0
Current children cumulated CPU time: 948.12 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 5008 KiB

Child status: 0
Real time (s): 948.158
CPU time (s): 948.179
CPU user time (s): 948.176
CPU system time (s): 0.003
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28208
Max. memory (cumulated for all children) (KiB): 5008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 948.176
system time used= 0.003
maximum resident set size= 5084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7644
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= 15
involuntary context switches= 264


# summary of solver processes directly reported to runsolver:
#   pid: 2055
#   total CPU time (s): 948.179
#   total CPU user time (s): 948.176
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.42516 second user time and 5.93151 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 04:10:17
IDJOB=4295801
IDBENCH=141603
IDSOLVER=2752
FILE ID=node149/4295801-1532571017
RUNJOBID= node149-1532542931-30488
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-12_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295801-1532571017/watcher-4295801-1532571017 -o /tmp/evaluation-result-4295801-1532571017/solver-4295801-1532571017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295801-1532571017.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7e6479b2a75a5c904a12e855693ae1ca
RANDOM SEED=285855280

node149.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.60
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.60
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.60
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.60
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:        21802952 kB
MemAvailable:   31923528 kB
Buffers:          137796 kB
Cached:         10125348 kB
SwapCached:            0 kB
Active:          2349708 kB
Inactive:        7975048 kB
Active(anon):       8964 kB
Inactive(anon):    79884 kB
Active(file):    2340744 kB
Inactive(file):  7895164 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2400 kB
Writeback:             0 kB
AnonPages:         80824 kB
Mapped:            41808 kB
Shmem:             25224 kB
Slab:             341652 kB
SReclaimable:     313128 kB
SUnreclaim:        28524 kB
KernelStack:        3376 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 04:26:05