Trace number 4295792

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.12? (TO) 2520.07 2520.01

General information on the benchmark

NameSportsScheduling/
SportsScheduling-20_c18.xml
MD5SUM5ab9c36a805c5c518370c16479d9ce42
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables590
Number of constraints270
Number of domains2
Minimum domain size20
Maximum domain size190
Distribution of domain sizes[{"size":20,"count":400},{"size":190,"count":190}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":200},{"degree":4,"count":390}]
Minimum constraint arity1
Maximum constraint arity190
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":10},{"arity":3,"count":190},{"arity":10,"count":19},{"arity":20,"count":20},{"arity":38,"count":10},{"arity":40,"count":10},{"arity":190,"count":1}]
Number of extensional constraints190
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":190},{"type":"intension","count":20},{"type":"allDifferent","count":21},{"type":"count","count":19},{"type":"cardinality","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 38 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 40 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.02	c root propagations     : 2134        
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.12 --  
0.00/0.02	c
0.00/0.02	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295792-1532568907.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.02 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 590
0.00/0.02	c |            Domain Sizes: 20..190
0.00/0.02	c |
0.00/0.02	c |             Constraints: 850
0.00/0.02	c |                   Arity: 1..190  -- Unary: 10  -- Binary: 10  -- Ternary: 190
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          (X - Y < k): 10
0.00/0.02	c |                          All Different: 21
0.00/0.02	c |                          At least: 200
0.00/0.02	c |                          At most: 200
0.00/0.02	c |                          Exactly K: 219
0.00/0.02	c |                          Extension: 190  (nb tuples: 190..190) -- (shared: 189)
0.00/0.02	c |                          Unary: 10
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 101            239            62946          29755          590            0              57   108   97  
0.00/0.07	c 211            558            128460         67404          590            0              44   135   129 
0.00/0.09	c 332            875            184984         106349         590            0              2   120   114  
0.10/0.12	c 465            1165           232840         136432         590            0              38   112   102 
0.10/0.16	c 611            1625           329696         184447         590            0              2   174   167  
0.10/0.18	c 771            1958           387360         227234         590            0              2   55   52    
0.10/0.21	c 947            2329           436270         243802         590            0              44   169   160 
0.21/0.24	c 1140           2693           498336         296175         590            0              1   43   40    
0.21/0.30	c 1352           3216           636155         388327         590            0              47   159   136 
0.31/0.33	c 1585           3675           713664         450441         590            0              12   43   40   
0.31/0.40	c 1841           4195           819133         529020         590            0              46   73   70   
0.41/0.44	c 2122           4724           912049         602936         590            0              12   43   40   
0.51/0.53	c 2431           5491           1111874        689255         590            0              77   174   165 
0.51/0.57	c 2770           6106           1210137        769894         590            0              12   43   40   
0.60/0.65	c 3142           6803           1344555        870048         590            0              43   73   70   
0.69/0.74	c 3551           7622           1515259        998193         590            0              14   103   99  
0.79/0.80	c 4000           8452           1655365        1115101        590            0              14   40   37   
0.79/0.84	c 4493           9179           1724184        1137518        590            0              46   180   171 
0.89/0.91	c 5035           10128          1881045        1268730        590            0              1   40   37    
1.00/1.03	c 5631           11185          2066590        1427124        590            0              44   73   70   
1.10/1.11	c 6286           12360          2269560        1562530        590            0              14   106   102 
1.10/1.16	c 7006           13341          2361819        1600262        590            0              12   208   194 
1.29/1.30	c 7798           14878          2607923        1742080        590            0              12   237   220 
1.39/1.49	c 8669           16668          2958275        1930584        590            0              12   213   206 
1.59/1.60	c 9627           18353          3213115        2146138        590            0              14   40   37   
1.79/1.83	c 10680          20224          3602149        2425345        590            0              44   76   73   
1.89/1.97	c 11838          22259          3927047        2698273        590            0              14   40   37   
2.19/2.25	c 13111          24583          4423964        3125972        590            0              44   106   102 
2.49/2.56	c 14511          27435          4954379        3492469        590            0              14   130   126 
2.69/2.74	c 16051          30113          5370684        3845790        590            0              14   40   37   
3.00/3.07	c 17745          33019          5925758        4265815        590            0              44   67   64   
3.39/3.48	c 19608          36402          6600977        4784270        590            0              12   67   64   
3.69/3.72	c 21657          39972          7167463        5269476        590            0              12   37   34   
3.89/3.97	c 23910          43898          7788337        5817288        590            0              12   37   34   
4.19/4.27	c 26388          48258          8496132        6433943        590            0              2   37   34    
4.49/4.59	c 29113          52921          9266956        7115848        590            0              12   35   32   
4.89/4.95	c 32110          58031          10110890       7874887        590            0              2   35   31    
5.29/5.31	c 35406          63490          11000127       8694311        590            0              2   35   31    
5.69/5.75	c 39031          69577          12031704       9614612        590            0              2   35   31    
6.19/6.23	c 43018          76374          13160739       10649749       590            0              2   35   31    
6.69/6.78	c 47403          84137          14439315       11820164       590            0              12   35   31   
7.29/7.34	c 52226          92150          15761349       13069174       590            0              12   35   30   
7.89/8.00	c 57531          101042         17250403       14446125       590            0              12   35   30   
8.69/8.71	c 63366          110806         18878226       15966220       590            0              12   35   30   
9.49/9.55	c 69784          121592         20735446       17648613       590            0              12   35   30   
10.39/10.45	c 76843          133639         22742856       19519072       590            0              12   35   30   
11.39/11.42	c 84607          146532         24961248       21525698       590            0              2   35   30    
12.39/12.43	c 93147          160667         27309392       23733350       590            0              2   35   29    
13.69/13.71	c 102541         176663         30107337       26246339       590            0              2   35   29    
14.89/14.92	c 112874         194203         32989613       28960524       590            0              12   35   30   
16.19/16.26	c 124240         211530         36122847       31775155       590            0              2   31   27    
17.69/17.80	c 136742         232532         39680638       34989963       590            0              2   35   29    
19.49/19.58	c 150494         255496         43680961       38630314       590            0              2   35   29    
21.29/21.35	c 165621         279551         47928579       42431936       590            0              2   31   27    
23.29/23.33	c 182260         306535         52625620       46627671       590            0              2   35   28    
25.49/25.52	c 200562         335758         57836025       51232586       590            0              2   31   27    
27.99/28.07	c 220694         369736         63698815       56495255       590            0              2   35   29    
30.69/30.70	c 242839         404745         69852383       62077926       590            0              12   35   27   
33.68/33.74	c 267198         445762         76879167       68461473       590            0              2   35   29    
36.88/36.98	c 293992         489099         84456050       75304934       590            0              2   35   27    
40.38/40.43	c 323465         536336         92779288       82820348       590            0              2   35   27    
43.99/44.08	c 355885         590144         101974421      91102401       590            0              2   35   28    
47.88/47.93	c 391547         647253         111896908      100013895      590            0              12   31   27   
52.58/52.60	c 430775         709604         123209788      109885489      590            0              2   35   27    
57.78/57.81	c 473925         779601         135956215      120820762      590            0              2   35   27    
62.88/62.90	c 521390         854906         149101808      132543447      590            0              12   35   28   
68.38/68.48	c 573601         934639         163683566      145372605      590            0              12   29   25   
75.18/75.27	c 631033         1026740        180489610      159897439      590            0              2   35   27    
82.28/82.37	c 694208         1128218        198628327      175771088      590            0              2   35   27    
90.28/90.30	c 763700         1242124        218618481      193384106      590            0              2   35   27    
98.78/98.85	c 840141         1364723        240384163      212634981      590            0              2   33   27    
113.58/113.61	c 924226         1515547        272155745      231574330      590            0              20   241   210 
124.68/124.70	c 1016719        1671935        299234327      255533830      590            0              2   38   31    
135.18/135.23	c 1118461        1829365        327221083      280428485      590            0              12   33   26   
148.18/148.26	c 1230377        2010059        359768713      308686580      590            0              2   35   27    
160.68/160.74	c 1353484        2199944        393865076      338477393      590            0              12   31   25   
176.99/177.08	c 1488901        2438591        433990882      372591525      590            0              22   65   60   
195.28/195.30	c 1637859        2689152        477836132      411436023      590            0              2   38   32    
215.38/215.46	c 1801712        2963013        526631689      453765064      590            0              12   35   28   
236.09/236.16	c 1981950        3261635        578587970      499825297      590            0              2   35   28    
259.18/259.24	c 2180211        3591135        636836074      550364332      590            0              2   35   27    
283.78/283.83	c 2398298        3953155        699903759      606117846      590            0              2   35   28    
311.09/311.16	c 2638193        4359603        770002875      667540200      590            0              2   35   28    
341.19/341.26	c 2902077        4804303        846527988      735717852      590            0              2   35   28    
376.19/376.24	c 3192349        5304383        931960690      807952067      590            0              21   65   56   
414.30/414.35	c 3511648        5840634        1026405095     889497519      590            0              13   36   29   
454.90/454.93	c 3862876        6424676        1127989876     979424506      590            0              2   35   28    
500.20/500.27	c 4249226        7067456        1241193430     1078105647     590            0              2   35   28    
549.50/549.53	c 4674211        7782371        1366047419     1186344872     590            0              2   35   28    
604.80/604.86	c 5141694        8564973        1503049855     1306601369     590            0              2   35   28    
665.11/665.17	c 5655925        9425303        1654320136     1437995500     590            0              2   35   27    
731.71/731.73	c 6221579        10374029       1818919001     1583957295     590            0              2   35   28    
807.71/807.73	c 6843798        11418839       2004279130     1744470493     590            0              2   35   28    
888.02/888.04	c 7528238        12584473       2206827220     1920313440     590            0              2   35   28    
976.81/976.88	c 8281122        13866180       2427512537     2116871702     590            0              2   35   28    
1074.22/1074.25	c 9109294        15285262       2668934711     2321005229     590            0              21   65   59   
1186.92/1186.90	c 10020283       16803928       2939533749     2557019150     590            0              2   38   31    
1299.92/1299.91	c 11022370       18502230       3231209573     2812732607     590            0              2   35   28    
1424.22/1424.25	c 12124665       20215482       3552192107     3083702221     590            0              12   35   25   
1578.14/1578.15	c 13337189       22361199       3921875663     3394470762     590            0              22   65   60   
1720.43/1720.44	c 14670965       24429137       4303686365     3718174748     590            0              13   36   26   
1898.05/1898.00	c 16138118       26918677       4739903617     4098276736     590            0              2   35   28    
2081.45/2081.47	c 17751986       29605023       5207041202     4508072488     590            0              2   35   28    
2293.35/2293.31	c 19527240       32621873       5734426528     4965128377     590            0              2   35   28    
2502.06/2502.08	c 21480019       35689031       6296107607     5442490279     590            0              12   35   25   
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 105         
2520.06/2520.00	c conflicts             : 21617762     (8578 /sec)
2520.06/2520.00	c decisions             : 35927292     (14257 /sec)
2520.06/2520.00	c propagations          : 5477202254  (2173442 /sec)
2520.06/2520.00	c root propagations     : 2134        
2520.06/2520.00	c filter calls          : 6337060700     (2514647 /sec)
2520.06/2520.00	c useless filter calls  : 6201946034     (97 %)
2520.06/2520.00	c Memory used           : 31.94 MB
2520.06/2520.00	c CPU time              : 2520.06 s
2520.06/2520.00	
2520.06/2520.00	s UNKNOWN

Verifier Data


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

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

running on 4 cores: 0,2,4,6

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
solver pid=1901, runsolver pid=1898
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790696/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32172 memory=8672 CPUtime=0.1 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 2388 0 0 0 10 0 0 0 20 0 1 0 74453903 32944128 2168 33554432000 4194304 6142532 140732492484416 140732492481048 5175278 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8043 2168 887 476 0 1365 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32172 KiB
Current children cumulated memory: 8672 KiB

[startup+0.209567 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790696/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32436 memory=8936 CPUtime=0.21 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 2436 0 0 0 21 0 0 0 20 0 1 0 74453903 33214464 2234 33554432000 4194304 6142532 140732492484416 140732492481048 5054344 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8109 2234 887 476 0 1431 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32436 KiB
Current children cumulated memory: 8936 KiB

[startup+0.309076 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790696/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32436 memory=8936 CPUtime=0.31 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 2437 0 0 0 31 0 0 0 20 0 1 0 74453903 33214464 2234 33554432000 4194304 6142532 140732492484416 140732492481048 5017759 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8109 2234 887 476 0 1431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32436 KiB
Current children cumulated memory: 8936 KiB

[startup+0.700246 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790448/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32436 memory=8936 CPUtime=0.69 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 2453 0 0 0 69 0 0 0 20 0 1 0 74453903 33214464 2234 33554432000 4194304 6142532 140732492484416 140732492481816 5120791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8109 2234 887 476 0 1431 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32436 KiB
Current children cumulated memory: 8936 KiB

[startup+1.50025 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790540/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9200 CPUtime=1.49 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 2492 0 0 0 149 0 0 0 20 0 1 0 74453903 33349632 2300 33554432000 4194304 6142532 140732492484416 140732492481816 5013856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2300 887 476 0 1464 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9200 KiB

[startup+3.10902 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790540/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9344 CPUtime=3.1 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 3855 0 0 0 310 0 0 0 20 0 1 0 74453903 33349632 2336 33554432000 4194304 6142532 140732492484416 140732492481816 4991126 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2336 887 476 0 1464 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9344 KiB

[startup+6.30023 s]
/proc/loadavg: 1.93 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790732/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9344 CPUtime=6.29 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 5208 0 0 0 629 0 0 0 20 0 1 0 74453903 33349632 2336 33554432000 4194304 6142532 140732492484416 140732492481816 5058259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2336 887 476 0 1464 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9344 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.05 3/187 1902
/proc/meminfo: memFree=21790740/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9344 CPUtime=12.69 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 6567 0 0 0 1269 0 0 0 20 0 1 0 74453903 33349632 2336 33554432000 4194304 6142532 140732492484416 140732492481816 5120824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2336 887 476 0 1464 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9344 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 2.01 2.05 3/186 1902
/proc/meminfo: memFree=21791904/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9344 CPUtime=25.49 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 9068 0 0 0 2549 0 0 0 20 0 1 0 74453903 33349632 2336 33554432000 4194304 6142532 140732492484416 140732492481816 5061881 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2336 887 476 0 1464 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9344 KiB

[startup+51.109 s]
/proc/loadavg: 1.97 2.01 2.05 3/186 1902
/proc/meminfo: memFree=21791744/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32568 memory=9344 CPUtime=51.09 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 10129 0 0 0 5109 0 0 0 20 0 1 0 74453903 33349632 2336 33554432000 4194304 6142532 140732492484416 140732492481816 5318891 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8142 2336 887 476 0 1464 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9344 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 1.99 2.04 3/187 1904
/proc/meminfo: memFree=21791532/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9344 CPUtime=102.28 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 10501 0 0 0 10228 0 0 0 20 0 1 0 74453903 33484800 2336 33554432000 4194304 6142532 140732492484416 140732492481544 5017730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2336 887 476 0 1497 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9344 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.04 3/187 1905
/proc/meminfo: memFree=21791140/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=162.28 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 10854 0 0 0 16228 0 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5120760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/187 1906
/proc/meminfo: memFree=21790888/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=222.28 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 11203 0 0 0 22228 0 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/187 1907
/proc/meminfo: memFree=21790724/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=282.28 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 11544 0 0 0 28228 0 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5058171 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/188 1916
/proc/meminfo: memFree=21789232/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=342.28 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 11903 0 0 0 34228 0 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5061919 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/188 1917
/proc/meminfo: memFree=21789484/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=402.3 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 12263 0 0 0 40229 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 1918
/proc/meminfo: memFree=21789688/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=462.3 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 12596 0 0 0 46229 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5120777 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB


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

/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1981
/proc/meminfo: memFree=21788400/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=1782.34 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 20013 0 0 0 178233 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5062432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 1982
/proc/meminfo: memFree=21788712/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=1842.34 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 20325 0 0 0 184233 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5120760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 1983
/proc/meminfo: memFree=21788744/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=1902.34 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 20672 0 0 0 190233 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5120824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 1984
/proc/meminfo: memFree=21788488/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=1962.34 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 20981 0 0 0 196233 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5058231 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1985
/proc/meminfo: memFree=21788612/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2022.34 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 21285 0 0 0 202233 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5058268 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1986
/proc/meminfo: memFree=21788488/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2082.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 21625 0 0 0 208234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2056
/proc/meminfo: memFree=21801308/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2142.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 21934 0 0 0 214234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5330311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2057
/proc/meminfo: memFree=21801276/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2202.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 22236 0 0 0 220234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 4990765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2058
/proc/meminfo: memFree=21801236/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2262.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 22534 0 0 0 226234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5017733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2059
/proc/meminfo: memFree=21800948/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2322.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 22881 0 0 0 232234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5016538 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2060
/proc/meminfo: memFree=21801156/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2382.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 23192 0 0 0 238234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5120791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2061
/proc/meminfo: memFree=21800744/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2442.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 23499 0 0 0 244234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5055525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2062
/proc/meminfo: memFree=21800552/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2502.35 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 23853 0 0 0 250234 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 4990765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2062
/proc/meminfo: memFree=21800552/32770624 swapFree=67108860/67108860
[pid=1901] ppid=1898 vsize=32700 memory=9384 CPUtime=2520.06 cores=0,2,4,6
/proc/1901/stat : 1901 (cosoco) R 1898 1901 30456 0 -1 4202496 24161 0 0 0 252005 1 0 0 20 0 1 0 74453903 33484800 2346 33554432000 4194304 6142532 140732492484416 140732492481816 5060812 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 24780800 140732492489862 140732492489992 140732492489992 140732492492750 0
/proc/1901/statm: 8175 2346 887 476 0 1497 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 32700 KiB
Current children cumulated memory: 9384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 1901 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.06 s, system=0.014 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.06
CPU system time (s): 0.014
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 32700
Max. memory (cumulated for all children) (KiB): 9384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.014
maximum resident set size= 9448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24210
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= 8
involuntary context switches= 732


# summary of solver processes directly reported to runsolver:
#   pid: 1901
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.06
#   total CPU system time (s): 0.014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12793 second user time and 16.2146 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 03:35:07
IDJOB=4295792
IDBENCH=141602
IDSOLVER=2752
FILE ID=node149/4295792-1532568907
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

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

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

MD5SUM BENCH= 5ab9c36a805c5c518370c16479d9ce42
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:        21795900 kB
MemAvailable:   31914380 kB
Buffers:          136912 kB
Cached:         10125064 kB
SwapCached:            0 kB
Active:          2357280 kB
Inactive:        7973548 kB
Active(anon):      17108 kB
Inactive(anon):    79884 kB
Active(file):    2340172 kB
Inactive(file):  7893664 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:         90984 kB
Mapped:            41800 kB
Shmem:             25224 kB
Slab:             341752 kB
SReclaimable:     313104 kB
SUnreclaim:        28648 kB
KernelStack:        3568 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     366356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:17:07