Trace number 4295765

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) 2519.79 2520.01

General information on the benchmark

NameSportsScheduling/
SportsScheduling-16_c18.xml
MD5SUM5770900a9b2cb93904bf32b5a50ba98d
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 benchmark321.729
Satisfiable
(Un)Satisfiability was proved
Number of variables376
Number of constraints184
Number of domains2
Minimum domain size16
Maximum domain size120
Distribution of domain sizes[{"size":16,"count":256},{"size":120,"count":120}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":128},{"degree":4,"count":248}]
Minimum constraint arity1
Maximum constraint arity120
Distribution of constraint arities[{"arity":1,"count":8},{"arity":2,"count":8},{"arity":3,"count":120},{"arity":8,"count":15},{"arity":16,"count":16},{"arity":30,"count":8},{"arity":32,"count":8},{"arity":120,"count":1}]
Number of extensional constraints120
Number of intensional constraints16
Distribution of constraint types[{"type":"extension","count":120},{"type":"intension","count":16},{"type":"allDifferent","count":17},{"type":"count","count":15},{"type":"cardinality","count":16}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.00	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 32 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c root propagations     : 1263        
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-4295765-1532567896.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: 376
0.00/0.01	c |            Domain Sizes: 16..120
0.00/0.01	c |
0.00/0.01	c |             Constraints: 552
0.00/0.01	c |                   Arity: 1..120  -- Unary: 8  -- Binary: 8  -- Ternary: 120
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 8
0.00/0.01	c |                          All Different: 17
0.00/0.01	c |                          At least: 128
0.00/0.01	c |                          At most: 128
0.00/0.01	c |                          Exactly K: 143
0.00/0.01	c |                          Extension: 120  (nb tuples: 120..120) -- (shared: 119)
0.00/0.01	c |                          Unary: 8
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            240            43365          18958          376            0              47   84   76   
0.00/0.04	c 211            517            85847          42468          376            0              38   105   99  
0.00/0.05	c 332            787            121509         64414          376            0              10   67   63   
0.00/0.06	c 465            1025           152505         88105          376            0              2   27   23    
0.00/0.07	c 611            1302           188572         113034         376            0              2   27   24    
0.00/0.08	c 771            1589           226432         141546         376            0              2   27   24    
0.00/0.09	c 947            1888           266536         171745         376            0              10   27   23   
0.09/0.11	c 1140           2219           309915         204697         376            0              2   27   23    
0.09/0.13	c 1352           2612           360925         240495         376            0              2   27   24    
0.09/0.14	c 1585           3004           412650         280203         376            0              10   27   23   
0.09/0.16	c 1841           3431           470513         323860         376            0              10   27   22   
0.09/0.18	c 2122           3956           541282         371403         376            0              2   27   24    
0.09/0.21	c 2431           4453           609923         422882         376            0              10   27   22   
0.20/0.23	c 2770           4973           679347         479728         376            0              2   27   22    
0.20/0.25	c 3142           5537           753538         541030         376            0              2   27   21    
0.20/0.28	c 3551           6151           836993         610920         376            0              10   27   22   
0.20/0.31	c 4000           6879           934520         686289         376            0              10   27   21   
0.30/0.34	c 4493           7642           1036251        772412         376            0              10   27   21   
0.30/0.38	c 5035           8560           1157857        863973         376            0              2   25   22    
0.40/0.42	c 5631           9551           1288337        970202         376            0              2   25   21    
0.40/0.47	c 6286           10634          1429570        1081686        376            0              2   27   22    
0.50/0.52	c 7006           11852          1598494        1206303        376            0              2   25   22    
0.50/0.58	c 7798           13150          1771884        1342549        376            0              2   27   22    
0.59/0.64	c 8669           14475          1951000        1483330        376            0              10   23   19   
0.59/0.69	c 9627           15735          2057592        1552339        376            0              20   75   61   
0.69/0.77	c 10680          17562          2300427        1738914        376            0              11   28   23   
0.80/0.86	c 11838          19564          2573636        1940467        376            0              2   27   22    
0.89/0.96	c 13111          21820          2873453        2163928        376            0              2   27   23    
0.99/1.06	c 14511          24031          3174584        2386651        376            0              10   23   20   
1.09/1.16	c 16051          26486          3508788        2629868        376            0              2   25   20    
1.29/1.30	c 17745          29391          3902561        2925627        376            0              2   27   22    
1.39/1.43	c 19608          32407          4322118        3221199        376            0              2   23   20    
1.49/1.59	c 21657          35819          4728481        3403994        376            0              18   181   151 
1.69/1.76	c 23910          39404          5229896        3774229        376            0              11   24   21   
1.89/1.94	c 26388          43616          5790331        4191175        376            0              2   27   22    
2.09/2.16	c 29113          48392          6449737        4672892        376            0              2   27   23    
2.39/2.42	c 32110          53552          7177734        5161644        376            0              20   51   47   
2.59/2.64	c 35406          58550          7858747        5679370        376            0              11   24   20   
2.89/2.92	c 39031          64620          8687047        6295931        376            0              2   27   22    
3.19/3.21	c 43018          71491          9603908        6971576        376            0              2   27   22    
3.49/3.53	c 47403          79181          10617575       7680169        376            0              20   51   47   
3.89/3.93	c 52226          87824          11800914       8525921        376            0              18   28   23   
4.29/4.38	c 57531          96665          13053244       9412928        376            0              20   51   46   
4.79/4.82	c 63366          106207         14393686       10378943       376            0              11   26   22   
5.29/5.31	c 69784          117101         15878412       11461647       376            0              2   27   22    
5.78/5.80	c 76843          128009         17430206       12575267       376            0              10   27   19   
6.28/6.36	c 84607          140893         19209121       13850145       376            0              2   27   21    
6.88/6.95	c 93147          153944         21084738       15191444       376            0              10   23   19   
7.58/7.63	c 102541         169450         23198033       16739089       376            0              2   27   21    
8.28/8.38	c 112874         186648         25530670       18457772       376            0              2   27   21    
9.18/9.24	c 124240         205996         28174443       20368917       376            0              2   27   21    
10.18/10.24	c 136742         227233         31113501       22439297       376            0              18   51   46   
11.18/11.27	c 150494         249818         34270411       24713166       376            0              17   28   22   
12.38/12.43	c 165621         274516         37779108       27223523       376            0              2   27   21    
13.68/13.75	c 182260         302384         41709515       30019298       376            0              2   27   21    
14.88/14.99	c 200562         331027         45745418       32920355       376            0              10   23   19   
16.48/16.53	c 220694         364272         50385906       36280297       376            0              2   19   13    
18.18/18.29	c 242839         401911         55637838       40050245       376            0              2   19   14    
20.18/20.29	c 267198         443348         61408118       44140796       376            0              34   51   47   
22.38/22.41	c 293992         490230         67743412       48788223       376            0              2   30   25    
24.88/24.99	c 323465         540700         74969928       53842647       376            0              12   51   46   
27.58/27.63	c 355885         596324         82767783       59351731       376            0              2   30   24    
30.28/30.30	c 391547         656426         91018932       65329882       376            0              2   27   21    
33.38/33.45	c 430775         722228         100370478      71949739       376            0              2   27   21    
36.68/36.70	c 473925         795312         110341508      79251338       376            0              2   27   21    
40.48/40.53	c 521390         875096         121690474      87303809       376            0              2   27   21    
44.58/44.66	c 573601         963531         134174831      96069936       376            0              2   27   21    
49.38/49.47	c 631033         1062552        148005208      105813317      376            0              34   51   46   
54.18/54.23	c 694208         1163534        162687979      115972948      376            0              11   28   20   
59.48/59.52	c 763700         1276958        178936930      127278081      376            0              10   27   20   
65.48/65.53	c 840141         1406261        197012629      140230141      376            0              2   27   21    
72.18/72.29	c 924226         1551333        217294447      154633237      376            0              2   51   15    
79.88/80.00	c 1016719        1711380        239563253      170328037      376            0              2   51   46    
87.78/87.84	c 1118461        1886036        263648501      187313574      376            0              2   30   25    
96.58/96.60	c 1230377        2067542        290205479      205636020      376            0              10   27   19   
105.88/105.92	c 1353484        2277178        319009319      226373869      376            0              2   27   22    
116.58/116.62	c 1488901        2502818        351360321      248958620      376            0              10   27   20   
129.37/129.42	c 1637859        2751873        387210356      274001674      376            0              34   51   45   
141.37/141.45	c 1801712        3021330        424975372      300753738      376            0              11   28   21   
155.47/155.58	c 1981950        3331073        467989796      331406497      376            0              2   19   14    
171.67/171.76	c 2180211        3663650        515141551      364490528      376            0              2   51   37    
189.17/189.29	c 2398298        4034971        568041458      401267477      376            0              2   30   23    
209.87/209.96	c 2638193        4435681        626190596      441719013      376            0              18   51   45   
230.77/230.89	c 2902077        4883064        689584308      485532725      376            0              2   30   24    
256.86/256.93	c 3192349        5384122        764979690      535075826      376            0              18   51   45   
281.66/281.75	c 3511648        5917476        841211075      587967244      376            0              2   30   23    
311.86/311.90	c 3862876        6503567        926696037      646968948      376            0              2   51   40    
343.56/343.68	c 4249226        7162325        1020015220     712045459      376            0              11   51   41   
377.55/377.65	c 4674211        7875603        1122042682     782642286      376            0              11   28   21   
415.35/415.44	c 5141694        8662526        1235786566     859701601      376            0              10   27   20   
460.34/460.42	c 5655925        9549096        1364296835     948485804      376            0              18   51   45   
508.54/508.62	c 6221579        10515608       1503996617     1044672844     376            0              11   51   42   
558.74/558.83	c 6843798        11556435       1653064918     1149005745     376            0              2   30   23    
613.23/613.36	c 7528238        12718628       1819689100     1262022618     376            0              10   27   20   
680.93/681.04	c 8281122        14022219       2010411211     1391190164     376            0              20   51   45   
746.72/746.85	c 9109294        15399000       2208400904     1527897769     376            0              2   30   23    
818.11/818.29	c 10020283       16932436       2426497806     1679112800     376            0              10   27   20   
895.21/895.37	c 11022370       18633215       2664309110     1844907297     376            0              10   27   20   
987.60/987.70	c 12124665       20518342       2933048002     2030837269     376            0              2   51   42    
1084.19/1084.38	c 13337189       22538519       3223377673     2231888594     376            0              2   30   23    
1199.18/1199.31	c 14670965       24834605       3557310252     2459474423     376            0              2   51   43    
1313.07/1313.21	c 16138118       27284702       3905330646     2701490910     376            0              2   30   23    
1459.87/1460.03	c 17751986       30042710       4313245716     2978087044     376            0              2   51   44    
1603.15/1603.39	c 19527240       33004900       4740882394     3272894352     376            0              2   30   23    
1772.23/1772.44	c 21480019       36300904       5223933680     3600345413     376            0              2   51   44    
1958.92/1959.15	c 23628075       40074687       5766243698     3941288082     376            0              2   150   46   
2149.30/2149.52	c 25990936       44075132       6334979487     4335789516     376            0              11   52   23   
2360.98/2361.24	c 28590083       48501099       6963746919     4763319381     376            0              2   77   29    
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 108         
2519.78/2520.00	c conflicts             : 30601570     (12145 /sec)
2519.78/2520.00	c decisions             : 51860399     (20581 /sec)
2519.78/2520.00	c propagations          : 5096813766  (2022721 /sec)
2519.78/2520.00	c root propagations     : 1263        
2519.78/2520.00	c filter calls          : 7443591464     (2954064 /sec)
2519.78/2520.00	c useless filter calls  : 7239754356     (97 %)
2519.78/2520.00	c Memory used           : 28.96 MB
2519.78/2520.00	c CPU time              : 2519.78 s
2519.78/2520.00	
2519.78/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 (2238 MiB free)
  memory of node 1: 16384 MiB (6364 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295765-1532567896/watcher-4295765-1532567896 -o /tmp/evaluation-result-4295765-1532567896/solver-4295765-1532567896 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295765-1532567896.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=31797, runsolver pid=31794

[startup+0.100349 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806928/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29524 memory=6156 CPUtime=0.09 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 1726 0 0 0 9 0 0 0 20 0 1 0 74352475 30232576 1539 33554432000 4194304 6142532 140733461469776 140733461467176 5120784 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7381 1539 887 476 0 703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 6156 KiB

[startup+0.209523 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806556/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29524 memory=6156 CPUtime=0.2 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 1726 0 0 0 20 0 0 0 20 0 1 0 74352475 30232576 1539 33554432000 4194304 6142532 140733461469776 140733461467176 5120760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7381 1539 887 476 0 703 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 6156 KiB

[startup+0.309057 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806556/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29524 memory=6156 CPUtime=0.3 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 1726 0 0 0 30 0 0 0 20 0 1 0 74352475 30232576 1539 33554432000 4194304 6142532 140733461469776 140733461467176 5329971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7381 1539 887 476 0 703 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 6156 KiB

[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806556/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29524 memory=6156 CPUtime=0.69 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 1728 0 0 0 69 0 0 0 20 0 1 0 74352475 30232576 1539 33554432000 4194304 6142532 140733461469776 140733461467176 5060528 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7381 1539 887 476 0 703 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 6156 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806516/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6420 CPUtime=1.49 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 1766 0 0 0 149 0 0 0 20 0 1 0 74352475 30367744 1605 33554432000 4194304 6142532 140733461469776 140733461467176 5017886 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1605 887 476 0 736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6420 KiB

[startup+3.10903 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806316/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=3.09 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 2417 0 0 0 309 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5057936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806320/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=6.28 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 3067 0 0 0 628 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806320/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=12.68 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 3718 0 0 0 1268 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5120784 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806568/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=25.48 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 5021 0 0 0 2548 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806904/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=51.09 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 5672 0 0 0 5109 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5017803 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31799
/proc/meminfo: memFree=8807900/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=102.28 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 6324 0 0 0 10228 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5114566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31805
/proc/meminfo: memFree=8807676/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=162.27 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 6977 0 0 0 16227 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31806
/proc/meminfo: memFree=8807940/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=222.27 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 7629 0 0 0 22227 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 4991096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31807
/proc/meminfo: memFree=8808444/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=282.26 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 8280 0 0 0 28226 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5120791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31808
/proc/meminfo: memFree=8808736/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=342.26 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 8931 0 0 0 34226 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5120791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31809
/proc/meminfo: memFree=8808912/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=402.25 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 9581 0 0 0 40225 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5061899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+462.3 s]
/proc/loadavg: 2.63 2.17 2.10 3/188 31811
/proc/meminfo: memFree=8808852/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=462.24 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 10233 0 0 0 46224 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5061907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB


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

/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/180 31899
/proc/meminfo: memFree=8824432/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=1782.13 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 24228 0 0 0 178213 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/180 31900
/proc/meminfo: memFree=8824436/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=1842.13 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 24828 0 0 0 184213 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5060830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/180 31901
/proc/meminfo: memFree=8824560/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6440 CPUtime=1902.12 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 25457 0 0 0 190212 0 0 0 20 0 1 0 74352475 30367744 1610 33554432000 4194304 6142532 140733461469776 140733461467176 5058615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1610 887 476 0 736 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6440 KiB

[startup+1962.3 s]
/proc/loadavg: 1.05 1.04 1.29 2/181 31910
/proc/meminfo: memFree=8823712/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=1962.12 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 26138 0 0 0 196212 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2022.3 s]
/proc/loadavg: 1.06 1.04 1.28 2/181 31911
/proc/meminfo: memFree=8824212/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2022.11 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 26736 0 0 0 202211 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5175278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2082.3 s]
/proc/loadavg: 1.02 1.04 1.26 2/181 31912
/proc/meminfo: memFree=8824708/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2082.1 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 27334 0 0 0 208210 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5054405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2142.3 s]
/proc/loadavg: 1.01 1.03 1.25 2/181 31913
/proc/meminfo: memFree=8824188/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2142.1 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 27966 0 0 0 214210 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5175059 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.03 1.23 2/181 31914
/proc/meminfo: memFree=8824288/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2202.09 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 28589 0 0 0 220209 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5120791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/180 31916
/proc/meminfo: memFree=8824080/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2262.09 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 29190 0 0 0 226209 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5061899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/180 31917
/proc/meminfo: memFree=8824104/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2322.08 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 29787 0 0 0 232208 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5121015 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/180 31918
/proc/meminfo: memFree=8823856/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2382.08 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 30478 0 0 0 238208 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5054032 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2442.3 s]
/proc/loadavg: 1.07 1.03 1.19 2/180 31920
/proc/meminfo: memFree=8823972/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2442.07 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 31076 0 0 0 244207 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5120760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

[startup+2502.3 s]
/proc/loadavg: 1.03 1.02 1.18 2/180 31921
/proc/meminfo: memFree=8824120/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2502.07 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 31674 0 0 0 250207 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5054814 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.02 1.02 1.17 2/180 31929
/proc/meminfo: memFree=8823700/32770624 swapFree=67108860/67108860
[pid=31797] ppid=31794 vsize=29656 memory=6456 CPUtime=2519.78 cores=1,3,5,7
/proc/31797/stat : 31797 (cosoco) R 31794 31797 27447 0 -1 4202496 32335 0 0 0 251978 0 0 0 20 0 1 0 74352475 30367744 1614 33554432000 4194304 6142532 140733461469776 140733461467176 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25870336 140733461472390 140733461472520 140733461472520 140733461475278 0
/proc/31797/statm: 7414 1614 887 476 0 736 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 29656 KiB
Current children cumulated memory: 6456 KiB

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

[startup+2520.01 s]
# the end of solver process 31797 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.009999 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): 2519.79
CPU user time (s): 2519.78
CPU system time (s): 0.009999
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 29656
Max. memory (cumulated for all children) (KiB): 6456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.009999
maximum resident set size= 6520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32383
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= 6
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 31797
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.009999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7345 second user time and 16.3572 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 03:18:16
IDJOB=4295765
IDBENCH=141599
IDSOLVER=2752
FILE ID=node106/4295765-1532567896
RUNJOBID= node106-1532535025-27479
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-16_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295765-1532567896/watcher-4295765-1532567896 -o /tmp/evaluation-result-4295765-1532567896/solver-4295765-1532567896 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295765-1532567896.xml

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

MD5SUM BENCH= 5770900a9b2cb93904bf32b5a50ba98d
RANDOM SEED=726361409

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         8809828 kB
MemAvailable:   31916132 kB
Buffers:          287012 kB
Cached:         22714516 kB
SwapCached:            0 kB
Active:          2827692 kB
Inactive:       20242460 kB
Active(anon):      71316 kB
Inactive(anon):    25264 kB
Active(file):    2756376 kB
Inactive(file): 20217196 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4140 kB
Writeback:             0 kB
AnonPages:         75256 kB
Mapped:            42644 kB
Shmem:             25260 kB
Slab:             588488 kB
SReclaimable:     561192 kB
SUnreclaim:        27296 kB
KernelStack:        3344 kB
PageTables:         4960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     363284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46236 MiB
End job on node106 at 2018-07-26 04:00:16