Trace number 4268339

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.1001 2520

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-14.xml
MD5SUM1e3f519c957d5cb55b89b746c42a86fa
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 benchmark111.493
Satisfiable
(Un)Satisfiability was proved
Number of variables287
Number of constraints147
Number of domains2
Minimum domain size14
Maximum domain size91
Distribution of domain sizes[{"size":14,"count":196},{"size":91,"count":91}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":98},{"degree":4,"count":189}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}]
Number of extensional constraints91
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.12	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.12	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c intension hd[0]<ad[0]  using generic constraint 
0.00/0.13	c intension hd[1]<ad[1]  using generic constraint 
0.00/0.13	c intension hd[2]<ad[2]  using generic constraint 
0.00/0.13	c intension hd[3]<ad[3]  using generic constraint 
0.00/0.13	c intension hd[4]<ad[4]  using generic constraint 
0.00/0.13	c intension hd[5]<ad[5]  using generic constraint 
0.00/0.13	c intension hd[6]<ad[6]  using generic constraint 
0.00/0.14	c root propagations     : 1330        
0.00/0.14	c restarts enabled, print stats at every restarts
0.00/0.14	c
0.00/0.14	c
0.00/0.14	c
0.00/0.14	c This is cosoco 1.12 --  
0.00/0.14	c
0.00/0.14	c command line: cosoco -lc -model -restarts HOME/instance-4268339-1502544606.xml 
0.00/0.14	c ========================================[ Problem Statistics ]===========================================
0.00/0.14	c |                                                                                                       
0.00/0.14	c |  Parse time        :         0.01 s 
0.00/0.14	c |
0.00/0.14	c |               Variables: 287
0.00/0.14	c |            Domain Sizes: 14..91
0.00/0.14	c |
0.00/0.14	c |             Constraints: 427
0.00/0.14	c |                   Arity: 1..91  -- Unary: 7  -- Binary: 7  -- Ternary: 91
0.00/0.14	c | 
0.00/0.14	c |                   Types: 
0.00/0.14	c |                          (X - Y < k): 7
0.00/0.14	c |                          All Different: 15
0.00/0.14	c |                          At least: 98
0.00/0.14	c |                          At most: 98
0.00/0.14	c |                          Exactly K: 111
0.00/0.14	c |                          Extension: 91  (nb tuples: 91..91) -- (shared: 90)
0.00/0.14	c |                          Intension: 7
0.00/0.14	c |                          
0.00/0.14	c =========================================================================================================
0.00/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.15	c 101            246            40428          17028          287            0              46   72   69   
0.00/0.15	c 211            430            54238          22849          287            0              43   64   56   
0.00/0.16	c 332            672            83663          39393          287            0              9   35   32    
0.00/0.17	c 465            918            113173         57120          287            0              9   23   20    
0.00/0.18	c 611            1183           145818         76343          287            0              9   23   20    
0.00/0.18	c 771            1472           179394         97119          287            0              2   23   20    
0.07/0.20	c 947            1789           218251         121902         287            0              9   23   20    
0.07/0.21	c 1140           2151           260693         147393         287            0              9   23   20    
0.07/0.22	c 1352           2527           304988         176481         287            0              2   23   19    
0.07/0.23	c 1585           2921           352203         206637         287            0              9   23   20    
0.07/0.25	c 1841           3412           410007         242631         287            0              2   23   20    
0.07/0.26	c 2122           3881           466412         278069         287            0              9   23   19    
0.07/0.28	c 2431           4381           527029         318763         287            0              9   23   19    
0.17/0.30	c 2770           4937           593783         361580         287            0              2   23   19    
0.17/0.32	c 3142           5544           666416         410429         287            0              9   23   19    
0.17/0.34	c 3551           6196           743255         461021         287            0              2   23   18    
0.17/0.36	c 4000           6895           826359         519112         287            0              9   23   18    
0.17/0.38	c 4493           7662           919501         580815         287            0              9   23   18    
0.27/0.41	c 5035           8531           1024270        653831         287            0              9   23   18    
0.27/0.44	c 5631           9477           1140180        726182         287            0              9   19   16    
0.27/0.47	c 6286           10485          1259269        811220         287            0              2   21   18    
0.37/0.51	c 7006           11631          1394390        897974         287            0              9   21   16    
0.37/0.55	c 7798           12861          1540121        1000370        287            0              2   23   18    
0.37/0.59	c 8669           14246          1705487        1116155        287            0              2   23   18    
0.47/0.64	c 9627           15761          1891485        1246080        287            0              2   23   17    
0.57/0.70	c 10680          17443          2089422        1382798        287            0              2   23   18    
0.57/0.76	c 11838          19304          2308852        1535499        287            0              2   23   18    
0.67/0.83	c 13111          21437          2570579        1700528        287            0              2   23   18    
0.77/0.90	c 14511          23705          2844838        1875968        287            0              2   12   9     
0.77/0.97	c 16051          25932          3033469        1981565        287            0              7   98   78    
0.87/1.06	c 17745          28688          3370163        2193589        287            0              10   22   18   
0.98/1.17	c 19608          31838          3757467        2436359        287            0              2   23   18    
1.08/1.28	c 21657          35175          4159458        2694459        287            0              9   21   16    
1.27/1.41	c 23910          39094          4633381        2973718        287            0              14   22   17   
1.37/1.56	c 26388          43529          5161695        3311942        287            0              2   17   11    
1.57/1.73	c 29113          48708          5741381        3669248        287            0              7   17   11    
1.67/1.89	c 32110          53778          6346958        4066128        287            0              2   16   11    
1.87/2.07	c 35406          59442          7026729        4501335        287            0              2   16   11    
2.08/2.28	c 39031          65735          7784819        4981981        287            0              2   16   12    
2.37/2.53	c 43018          73199          8672021        5496549        287            0              7   44   40    
2.67/2.86	c 47403          81758          9772847        6121266        287            0              2   44   40    
2.97/3.14	c 52226          89959          10760092       6753793        287            0              2   26   21    
3.28/3.44	c 57531          99041          11865785       7460051        287            0              2   23   18    
3.57/3.77	c 63366          109085         13084080       8235882        287            0              2   23   18    
3.97/4.16	c 69784          120345         14461956       9086684        287            0              2   44   27    
4.38/4.55	c 76843          132005         15864981       9994597        287            0              10   24   18   
4.87/5.08	c 84607          146100         17615783       11068297       287            0              2   44   31    
5.38/5.59	c 93147          160485         19428079       12176588       287            0              10   24   18   
5.97/6.14	c 102541         177262         21422516       13430043       287            0              2   44   23    
6.58/6.75	c 112874         194970         23589460       14792169       287            0              2   26   21    
7.27/7.45	c 124240         214515         25838481       16120335       287            0              2   127   50   
7.97/8.18	c 136742         235739         28463303       17746260       287            0              10   24   18   
8.97/9.10	c 150494         259659         31476412       19568470       287            0              14   44   38   
9.78/9.94	c 165621         284795         34516022       21534821       287            0              2   26   20    
10.77/10.97	c 182260         313660         38099798       23723017       287            0              2   44   31    
11.87/12.02	c 200562         344686         41886508       26119634       287            0              2   26   20    
13.08/13.25	c 220694         379823         46160544       28781369       287            0              2   44   35    
14.37/14.58	c 242839         418160         50848929       31741470       287            0              2   26   21    
15.97/16.16	c 267198         459589         56113194       34954153       287            0              2   44   36    
17.48/17.69	c 293992         505807         61722860       38463717       287            0              2   26   21    
19.27/19.43	c 323465         556448         67986252       42311293       287            0              9   23   17    
21.37/21.59	c 355885         612271         75068458       46603174       287            0              14   44   39   
23.47/23.69	c 391547         673135         82568000       51248111       287            0              10   24   18   
25.87/26.01	c 430775         740950         90851342       56431732       287            0              9   23   17    
28.58/28.77	c 473925         815247         100193940      62120837       287            0              2   44   37    
31.88/32.02	c 521390         899133         110856747      68625756       287            0              14   44   38   
34.87/35.04	c 573601         987519         121675068      75459689       287            0              2   26   21    
38.17/38.39	c 631033         1085582        133772355      82931708       287            0              9   23   17    
42.27/42.47	c 694208         1196141        147547399      91346399       287            0              2   44   38    
46.37/46.58	c 763700         1315063        162037215      100353324      287            0              2   79   22    
51.68/51.83	c 840141         1448004        179270820      110576307      287            0              10   45   40   
56.58/56.78	c 924226         1596673        197363637      121563813      287            0              10   25   19   
62.58/62.72	c 1016719        1760354        217333362      133921988      287            0              14   44   38   
69.28/69.41	c 1118461        1950627        238843321      144909923      287            0              2   192   71   
78.38/78.56	c 1230377        2163984        265102906      158687065      287            0              1   121   99   
87.38/87.51	c 1353484        2385484        292142267      173234903      287            0              14   86   61   
98.28/98.48	c 1488901        2624360        323477002      193211955      287            0              15   86   72   
106.78/106.95	c 1637859        2881058        353896512      211841895      287            0              10   47   24   
116.68/116.82	c 1801712        3168900        388313273      232076888      287            0              2   65   32    
131.89/132.10	c 1981950        3492136        433017321      259940942      287            0              1   68   64    
149.49/149.61	c 2180211        3839264        484248984      291780211      287            0              9   65   60    
167.19/167.32	c 2398298        4216247        535993639      322679619      287            0              9   44   40    
183.79/183.90	c 2638193        4644765        591001831      353235436      287            0              14   86   39   
205.49/205.64	c 2902077        5095980        655466431      387753962      287            0              9   68   57    
223.99/224.18	c 3192349        5598175        712162514      418765888      287            0              9   122   65   
249.19/249.32	c 3511648        6156537        784253574      456185984      287            0              1   107   68   
279.80/279.90	c 3862876        6760727        872124679      504255531      287            0              9   50   45    
306.60/306.73	c 4249226        7432452        957232787      552647584      287            0              11   86   44   
334.80/334.90	c 4674211        8169531        1048114173     602597120      287            0              9   107   53   
368.20/368.35	c 5141694        9001085        1147775486     655190279      287            0              1   89   71    
403.91/404.01	c 5655925        9897974        1263212932     720310698      287            0              9   68   43    
438.11/438.28	c 6221579        10849908       1367372212     776926914      287            0              9   222   78   
484.71/484.83	c 6843798        12081345       1505264785     843245141      287            0              1   183   94   
540.02/540.20	c 7528238        13590145       1689610331     921919335      287            0              9   204   95   
599.22/599.35	c 8281122        14887116       1872175914     1019021518     287            0              1   54   44    
671.83/671.93	c 9109294        16701077       2095916456     1122935747     287            0              13   223   89  
731.33/731.42	c 10020283       18262237       2290439772     1236390671     287            0              9   92   40    
847.94/848.05	c 11022370       21208546       2670543948     1373679455     287            0              9   229   154  
965.45/965.50	c 12124665       23818774       3054641770     1532820733     287            0              9   204   109  
1068.06/1068.17	c 13337189       26919237       3382140737     1646740775     287            0              1   144   134  
1184.87/1184.97	c 14670965       29612629       3729213815     1809474762     287            0              11   103   77  
1299.08/1299.10	c 16138118       32165802       4064622596     2000765616     287            0              11   53   46   
1445.09/1445.13	c 17751986       36028651       4474420220     2174195078     287            0              9   199   134  
1653.81/1653.88	c 19527240       40984638       5155203305     2412166575     287            0              18   207   149 
1835.03/1835.06	c 21480019       45559881       5721237496     2625082124     287            0              18   197   136 
2008.75/2008.79	c 23628075       50072272       6218155318     2840422583     287            0              20   176   123 
2215.06/2215.00	c 25990936       54633871       6829595809     3155697993     287            0              13   76   67   
2520.09/2520.00	
2520.09/2520.00	c *** INTERRUPTED ***
2520.09/2520.00	c restarts              : 107         
2520.09/2520.00	c conflicts             : 28461692     (11294 /sec)
2520.09/2520.00	c decisions             : 63178161     (25070 /sec)
2520.09/2520.00	c propagations          : 3489347448  (1384609 /sec)
2520.09/2520.00	c root propagations     : 1330        
2520.09/2520.00	c filter calls          : 7851039746     (3115374 /sec)
2520.09/2520.00	c useless filter calls  : 7579922057     (96 %)
2520.09/2520.00	c Memory used           : 28.18 MB
2520.09/2520.00	c CPU time              : 2520.1 s
2520.09/2520.00	
2520.09/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268339-1502544606/watcher-4268339-1502544606 -o /tmp/evaluation-result-4268339-1502544606/solver-4268339-1502544606 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268339-1502544606.xml 

pid=5996
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5999
/proc/meminfo: memFree=31050184/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5999/stat : 5999 (runsolver) D 5996 5999 28313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 102275825 24240128 107 18446744073709551615 4194304 4338465 140735044350896 140735044348536 140420508762839 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39276544 140735044354241 140735044354633 140735044354633 140735044358090 0
/proc/5999/statm: 5918 107 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5999
/proc/meminfo: memFree=31050184/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5999/stat : 5999 (runsolver) D 5996 5999 28313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 102275825 24240128 107 18446744073709551615 4194304 4338465 140735044350896 140735044348536 140420508762839 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39276544 140735044354241 140735044354633 140735044354633 140735044358090 0
/proc/5999/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200317 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5999
/proc/meminfo: memFree=31050184/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=28448 CPUtime=0.07 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 1460 0 0 0 7 0 0 0 20 0 1 0 102275825 29130752 1294 18446744073709551615 4194304 5972588 140722024044800 140722024041448 5032400 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7112 1294 845 435 0 475 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28448

[startup+0.300268 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5999
/proc/meminfo: memFree=31050184/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=28448 CPUtime=0.17 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 1460 0 0 0 17 0 0 0 20 0 1 0 102275825 29130752 1294 18446744073709551615 4194304 5972588 140722024044800 140722024041448 4931747 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7112 1294 845 435 0 475 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 28448

[startup+0.700218 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5999
/proc/meminfo: memFree=31050184/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=28448 CPUtime=0.57 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 1460 0 0 0 57 0 0 0 20 0 1 0 102275825 29130752 1294 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5094232 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7112 1294 845 435 0 475 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 28448

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6000
/proc/meminfo: memFree=31048396/32770624 swapFree=0/459340
[pid=5999] ppid=5996 vsize=28588 CPUtime=1.37 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 1476 0 0 0 137 0 0 0 20 0 1 0 102275825 29274112 1294 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4931696 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1294 845 435 0 510 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 28588

[startup+3.10022 s]
/proc/loadavg: 1.84 1.98 2.03 3/186 6000
/proc/meminfo: memFree=31048044/32770624 swapFree=0/459340
[pid=5999] ppid=5996 vsize=28588 CPUtime=2.97 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 1476 0 0 0 297 0 0 0 20 0 1 0 102275825 29274112 1294 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4972416 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1294 845 435 0 510 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 28588

[startup+6.30022 s]
/proc/loadavg: 1.84 1.98 2.03 3/186 6000
/proc/meminfo: memFree=31048036/32770624 swapFree=0/459340
[pid=5999] ppid=5996 vsize=28588 CPUtime=6.17 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 2294 0 0 0 617 0 0 0 20 0 1 0 102275825 29274112 1318 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5328641 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1318 845 435 0 510 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 28588

[startup+12.7002 s]
/proc/loadavg: 1.87 1.98 2.03 3/186 6001
/proc/meminfo: memFree=31047788/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=28588 CPUtime=12.57 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 2735 0 0 0 1257 0 0 0 20 0 1 0 102275825 29274112 1333 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5338173 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1333 845 435 0 510 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 28588

[startup+25.5002 s]
/proc/loadavg: 1.89 1.98 2.03 3/186 6001
/proc/meminfo: memFree=31047788/32770624 swapFree=0/459336
[pid=5999] ppid=5996 vsize=28588 CPUtime=25.37 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 3544 0 0 0 2537 0 0 0 20 0 1 0 102275825 29274112 1333 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4935792 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1333 845 435 0 510 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 28588

[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 2.03 3/186 6001
/proc/meminfo: memFree=31047664/32770624 swapFree=0/459324
[pid=5999] ppid=5996 vsize=28588 CPUtime=50.98 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 4008 0 0 0 5098 0 0 0 20 0 1 0 102275825 29274112 1333 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4935585 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7147 1333 845 435 0 510 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 28588

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/186 6003
/proc/meminfo: memFree=31047424/32770624 swapFree=0/459332
[pid=5999] ppid=5996 vsize=28720 CPUtime=102.18 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 4476 0 0 0 10218 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4909215 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 28720

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 6005
/proc/meminfo: memFree=31047264/32770624 swapFree=0/459320
[pid=5999] ppid=5996 vsize=28720 CPUtime=162.19 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 4916 0 0 0 16219 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5032455 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 28720

[startup+222.306 s]
/proc/loadavg: 2.16 2.04 2.05 3/185 6068
/proc/meminfo: memFree=31023136/32770624 swapFree=0/458932
[pid=5999] ppid=5996 vsize=28720 CPUtime=222.2 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 5359 0 0 0 22220 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4935502 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 28720

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 6147
/proc/meminfo: memFree=30769416/32770624 swapFree=0/459096
[pid=5999] ppid=5996 vsize=28720 CPUtime=282.2 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 5359 0 0 0 28220 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5032416 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 28720

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 6149
/proc/meminfo: memFree=30767792/32770624 swapFree=0/459088
[pid=5999] ppid=5996 vsize=28720 CPUtime=342.2 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 5800 0 0 0 34220 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4972708 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28720

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 6152
/proc/meminfo: memFree=30770552/32770624 swapFree=0/459084
[pid=5999] ppid=5996 vsize=28720 CPUtime=402.2 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 5800 0 0 0 40220 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5099619 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 28720

[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 6215
/proc/meminfo: memFree=31070944/32770624 swapFree=0/459096
[pid=5999] ppid=5996 vsize=28720 CPUtime=462.21 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 6261 0 0 0 46221 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4975104 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28720

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 6217
/proc/meminfo: memFree=31070660/32770624 swapFree=0/459124
[pid=5999] ppid=5996 vsize=28720 CPUtime=522.21 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 6262 0 0 0 52221 0 0 0 20 0 1 0 102275825 29409280 1354 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5032708 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1354 845 435 0 543 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 28720

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6220
/proc/meminfo: memFree=31069776/32770624 swapFree=0/459124
[pid=5999] ppid=5996 vsize=28720 CPUtime=582.22 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 6723 0 0 0 58222 0 0 0 20 0 1 0 102275825 29409280 1370 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4977689 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1370 845 435 0 543 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 28720


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6288
/proc/meminfo: memFree=31069040/32770624 swapFree=0/459252
[pid=5999] ppid=5996 vsize=28720 CPUtime=1602.31 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 10414 0 0 0 160231 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5099616 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 28720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6290
/proc/meminfo: memFree=31069400/32770624 swapFree=0/459264
[pid=5999] ppid=5996 vsize=28720 CPUtime=1662.31 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 10880 0 0 0 166231 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4975450 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 28720

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 6292
/proc/meminfo: memFree=31069156/32770624 swapFree=0/459268
[pid=5999] ppid=5996 vsize=28720 CPUtime=1722.32 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 10880 0 0 0 172232 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4935502 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 28720

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 6294
/proc/meminfo: memFree=31068952/32770624 swapFree=0/459280
[pid=5999] ppid=5996 vsize=28720 CPUtime=1782.32 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 11300 0 0 0 178232 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4977745 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 28720

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 6298
/proc/meminfo: memFree=31069312/32770624 swapFree=0/459292
[pid=5999] ppid=5996 vsize=28720 CPUtime=1842.33 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 11346 0 0 0 184233 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4977727 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 28720

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6300
/proc/meminfo: memFree=31069556/32770624 swapFree=0/459304
[pid=5999] ppid=5996 vsize=28720 CPUtime=1902.33 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 11766 0 0 0 190233 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4978706 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 28720

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 6302
/proc/meminfo: memFree=31070444/32770624 swapFree=0/459316
[pid=5999] ppid=5996 vsize=28720 CPUtime=1962.34 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 11766 0 0 0 196234 0 0 0 20 0 1 0 102275825 29409280 1374 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5032635 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1374 845 435 0 543 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 28720

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 6305
/proc/meminfo: memFree=31069784/32770624 swapFree=0/459332
[pid=5999] ppid=5996 vsize=28720 CPUtime=2022.35 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 12233 0 0 0 202235 0 0 0 20 0 1 0 102275825 29409280 1375 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4975792 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1375 845 435 0 543 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 28720

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6322
/proc/meminfo: memFree=31065624/32770624 swapFree=0/459344
[pid=5999] ppid=5996 vsize=28720 CPUtime=2082.36 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 12233 0 0 0 208236 0 0 0 20 0 1 0 102275825 29409280 1375 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4975200 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1375 845 435 0 543 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 28720

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6326
/proc/meminfo: memFree=31066080/32770624 swapFree=0/459356
[pid=5999] ppid=5996 vsize=28720 CPUtime=2142.36 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 12679 0 0 0 214236 0 0 0 20 0 1 0 102275825 29409280 1375 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5099630 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1375 845 435 0 543 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 28720

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6328
/proc/meminfo: memFree=31069108/32770624 swapFree=0/459364
[pid=5999] ppid=5996 vsize=28720 CPUtime=2202.37 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 12679 0 0 0 220237 0 0 0 20 0 1 0 102275825 29409280 1375 18446744073709551615 4194304 5972588 140722024044800 140722024042104 5322944 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1375 845 435 0 543 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 28720

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6330
/proc/meminfo: memFree=31069444/32770624 swapFree=0/459368
[pid=5999] ppid=5996 vsize=28720 CPUtime=2262.37 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 13163 0 0 0 226237 0 0 0 20 0 1 0 102275825 29409280 1375 18446744073709551615 4194304 5972588 140722024044800 140722024042104 4935502 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7180 1375 845 435 0 543 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 28720

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6332
/proc/meminfo: memFree=31069324/32770624 swapFree=0/459376
[pid=5999] ppid=5996 vsize=28852 CPUtime=2322.37 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 13167 0 0 0 232237 0 0 0 20 0 1 0 102275825 29544448 1375 18446744073709551615 4194304 5972588 140722024044800 140722024041464 5338173 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7213 1375 845 435 0 576 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 28852

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6335
/proc/meminfo: memFree=31069044/32770624 swapFree=0/459400
[pid=5999] ppid=5996 vsize=28852 CPUtime=2382.38 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 13585 0 0 0 238238 0 0 0 20 0 1 0 102275825 29544448 1382 18446744073709551615 4194304 5972588 140722024044800 140722024041464 5099616 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7213 1382 845 435 0 576 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 28852

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6339
/proc/meminfo: memFree=31069420/32770624 swapFree=0/459408
[pid=5999] ppid=5996 vsize=28852 CPUtime=2442.38 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 13585 0 0 0 244238 0 0 0 20 0 1 0 102275825 29544448 1382 18446744073709551615 4194304 5972588 140722024044800 140722024041464 5032400 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7213 1382 845 435 0 576 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 28852

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6341
/proc/meminfo: memFree=31069508/32770624 swapFree=0/459416
[pid=5999] ppid=5996 vsize=28852 CPUtime=2502.39 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 14002 0 0 0 250239 0 0 0 20 0 1 0 102275825 29544448 1382 18446744073709551615 4194304 5972588 140722024044800 140722024041464 5099616 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7213 1382 845 435 0 576 0
Current children cumulated CPU time (s) 2502.39
Current children cumulated vsize (KiB) 28852



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6341
/proc/meminfo: memFree=31069508/32770624 swapFree=0/459416
[pid=5999] ppid=5996 vsize=28852 CPUtime=2520.09 cores=1,3,5,7
/proc/5999/stat : 5999 (cosoco) R 5996 5999 28313 0 -1 4202496 14002 0 0 0 252009 0 0 0 20 0 1 0 102275825 29544448 1382 18446744073709551615 4194304 5972588 140722024044800 140722024041464 5312315 0 0 1 8405026 0 0 0 17 5 0 0 12 0 0 8070896 8075904 30294016 140722024047086 140722024047181 140722024047181 140722024050638 0
/proc/5999/statm: 7213 1382 845 435 0 576 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 28852

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5999 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2520.1
CPU user time (s): 2520.1
CPU system time (s): 0.004
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 28852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.1
system time used= 0.004
maximum resident set size= 5596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14046
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= 10
involuntary context switches= 632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76543 second user time and 8.82682 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 15:15:59
IDJOB=4268339
IDBENCH=133923
IDSOLVER=2658
FILE ID=node133/4268339-1502544606
RUNJOBID= node133-1502500327-28378
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268339-1502544606/watcher-4268339-1502544606 -o /tmp/evaluation-result-4268339-1502544606/solver-4268339-1502544606 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268339-1502544606.xml

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

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=1252455791

node133.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.17
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.17
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.17
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.17
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:        31050188 kB
MemAvailable:   31943684 kB
Buffers:          306352 kB
Cached:           888456 kB
SwapCached:            0 kB
Active:           784588 kB
Inactive:         500640 kB
Active(anon):      90768 kB
Inactive(anon):    41304 kB
Active(file):     693820 kB
Inactive(file):   459336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2376 kB
Writeback:             4 kB
AnonPages:         90040 kB
Mapped:            55464 kB
Shmem:             41660 kB
Slab:             139296 kB
SReclaimable:     112352 kB
SUnreclaim:        26944 kB
KernelStack:        3344 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-12 15:57:59