Trace number 4242340

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
R1: cosoco 1.1? (TO) 2400.03 2400.31

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.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c intension hd[0]<ad[0]  using generic constraint 
0.00/0.02	c intension hd[1]<ad[1]  using generic constraint 
0.00/0.03	c intension hd[2]<ad[2]  using generic constraint 
0.00/0.03	c intension hd[3]<ad[3]  using generic constraint 
0.00/0.03	c intension hd[4]<ad[4]  using generic constraint 
0.00/0.03	c intension hd[5]<ad[5]  using generic constraint 
0.00/0.03	c intension hd[6]<ad[6]  using generic constraint 
0.00/0.03	c root propagations     : 1330        
0.00/0.03	c restarts enabled, print stats at every restarts
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c This is cosoco 1.0 --  
0.00/0.03	c
0.00/0.03	c ========================================[ Problem Statistics ]===========================================
0.00/0.03	c |                                                                                                       
0.00/0.03	c |  Parse time        :         0.03 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 287
0.00/0.03	c |            Domain Sizes: 14..91
0.00/0.03	c |
0.00/0.03	c |             Constraints: 427
0.00/0.03	c |                   Arity: 1..91  -- Unary: 7  -- Binary: 7  -- Ternary: 91
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          (X - Y < k): 7
0.00/0.03	c |                          All Different: 15
0.00/0.03	c |                          At least: 98
0.00/0.03	c |                          At most: 98
0.00/0.03	c |                          Exactly K: 111
0.00/0.03	c |                          Extension: 91  (nb tuples: 91..91) -- (shared: 90)
0.00/0.03	c |                          Intension: 7
0.00/0.03	c |                          
0.00/0.03	c =========================================================================================================
0.00/0.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.05	c 101            246            40428          17028          287            0              46   72   69   
0.00/0.06	c 211            430            54238          22849          287            0              43   64   56   
0.00/0.07	c 332            672            83663          39393          287            0              9   35   32    
0.00/0.08	c 465            918            113173         57120          287            0              9   23   20    
0.00/0.09	c 611            1183           145818         76343          287            0              9   23   20    
0.09/0.10	c 771            1472           179394         97119          287            0              2   23   20    
0.09/0.12	c 947            1789           218251         121902         287            0              9   23   20    
0.09/0.13	c 1140           2151           260693         147393         287            0              9   23   20    
0.09/0.15	c 1352           2527           304988         176481         287            0              2   23   19    
0.09/0.16	c 1585           2921           352203         206637         287            0              9   23   20    
0.09/0.18	c 1841           3412           410007         242631         287            0              2   23   20    
0.09/0.19	c 2122           3881           466412         278069         287            0              9   23   19    
0.19/0.21	c 2431           4381           527029         318763         287            0              9   23   19    
0.19/0.23	c 2770           4937           593783         361580         287            0              2   23   19    
0.19/0.25	c 3142           5544           666416         410429         287            0              9   23   19    
0.19/0.27	c 3551           6196           743255         461021         287            0              2   23   18    
0.19/0.29	c 4000           6895           826359         519112         287            0              9   23   18    
0.29/0.31	c 4493           7662           919501         580815         287            0              9   23   18    
0.29/0.34	c 5035           8531           1024270        653831         287            0              9   23   18    
0.29/0.37	c 5631           9477           1140180        726182         287            0              9   19   16    
0.39/0.40	c 6286           10485          1259269        811220         287            0              2   21   18    
0.39/0.44	c 7006           11631          1394390        897974         287            0              9   21   16    
0.39/0.48	c 7798           12861          1540121        1000370        287            0              2   23   18    
0.49/0.52	c 8669           14246          1705487        1116155        287            0              2   23   18    
0.49/0.57	c 9627           15761          1891485        1246080        287            0              2   23   17    
0.59/0.63	c 10680          17443          2089422        1382798        287            0              2   23   18    
0.59/0.69	c 11838          19304          2308852        1535499        287            0              2   23   18    
0.69/0.76	c 13111          21437          2570579        1700528        287            0              2   23   18    
0.79/0.83	c 14511          23705          2844838        1875968        287            0              2   12   9     
0.89/0.90	c 16051          25932          3033469        1981565        287            0              7   98   78    
0.89/0.99	c 17745          28688          3370163        2193589        287            0              10   22   18   
0.99/1.10	c 19608          31838          3757467        2436359        287            0              2   23   18    
1.20/1.21	c 21657          35175          4159458        2694459        287            0              9   21   16    
1.29/1.34	c 23910          39094          4633381        2973718        287            0              14   22   17   
1.39/1.49	c 26388          43529          5161695        3311942        287            0              2   17   11    
1.59/1.66	c 29113          48708          5741381        3669248        287            0              7   17   11    
1.79/1.82	c 32110          53778          6346958        4066128        287            0              2   16   11    
1.99/2.00	c 35406          59442          7026729        4501335        287            0              2   16   11    
2.20/2.20	c 39031          65735          7784819        4981981        287            0              2   16   12    
2.39/2.45	c 43018          73199          8672021        5496549        287            0              7   44   40    
2.69/2.79	c 47403          81758          9772847        6121266        287            0              2   44   40    
2.99/3.06	c 52226          89959          10760092       6753793        287            0              2   26   21    
3.30/3.36	c 57531          99041          11865785       7460051        287            0              2   23   18    
3.59/3.69	c 63366          109085         13084080       8235882        287            0              2   23   18    
3.99/4.08	c 69784          120345         14461956       9086684        287            0              2   44   27    
4.40/4.47	c 76843          132005         15864981       9994597        287            0              10   24   18   
4.99/5.00	c 84607          146100         17615783       11068297       287            0              2   44   31    
5.50/5.51	c 93147          160485         19428079       12176588       287            0              10   24   18   
5.99/6.06	c 102541         177262         21422516       13430043       287            0              2   44   23    
6.60/6.67	c 112874         194970         23589460       14792169       287            0              2   26   21    
7.29/7.36	c 124240         214515         25838481       16120335       287            0              2   127   50   
7.99/8.09	c 136742         235739         28463303       17746260       287            0              10   24   18   
8.99/9.01	c 150494         259659         31476412       19568470       287            0              14   44   38   
9.79/9.84	c 165621         284795         34516022       21534821       287            0              2   26   20    
10.79/10.88	c 182260         313660         38099798       23723017       287            0              2   44   31    
11.89/11.93	c 200562         344686         41886508       26119634       287            0              2   26   20    
13.09/13.15	c 220694         379823         46160544       28781369       287            0              2   44   35    
14.40/14.48	c 242839         418160         50848929       31741470       287            0              2   26   21    
15.99/16.05	c 267198         459589         56113194       34954153       287            0              2   44   36    
17.49/17.59	c 293992         505807         61722860       38463717       287            0              2   26   21    
19.29/19.32	c 323465         556448         67986252       42311293       287            0              9   23   17    
21.39/21.48	c 355885         612271         75068458       46603174       287            0              14   44   39   
23.49/23.58	c 391547         673135         82568000       51248111       287            0              10   24   18   
25.89/25.90	c 430775         740950         90851342       56431732       287            0              9   23   17    
28.60/28.65	c 473925         815247         100193940      62120837       287            0              2   44   37    
31.90/31.91	c 521390         899133         110856747      68625756       287            0              14   44   38   
34.89/34.91	c 573601         987519         121675068      75459689       287            0              2   26   21    
38.19/38.25	c 631033         1085582        133772355      82931708       287            0              9   23   17    
42.29/42.32	c 694208         1196141        147547399      91346399       287            0              2   44   38    
46.39/46.41	c 763700         1315063        162037215      100353324      287            0              2   79   22    
51.59/51.65	c 840141         1448004        179270820      110576307      287            0              10   45   40   
56.49/56.58	c 924226         1596673        197363637      121563813      287            0              10   25   19   
62.49/62.51	c 1016719        1760354        217333362      133921988      287            0              14   44   38   
69.08/69.16	c 1118461        1950627        238843321      144909923      287            0              2   192   71   
78.19/78.26	c 1230377        2163984        265102906      158687065      287            0              1   121   99   
87.08/87.16	c 1353484        2385484        292142267      173234903      287            0              14   86   61   
97.99/98.01	c 1488901        2624360        323477002      193211955      287            0              15   86   72   
106.38/106.46	c 1637859        2881058        353896512      211841895      287            0              10   47   24   
116.18/116.29	c 1801712        3168900        388313273      232076888      287            0              2   65   32    
131.38/131.46	c 1981950        3492136        433017321      259940942      287            0              1   68   64    
148.77/148.85	c 2180211        3839264        484248984      291780211      287            0              9   65   60    
166.47/166.50	c 2398298        4216247        535993639      322679619      287            0              9   44   40    
182.97/183.03	c 2638193        4644765        591001831      353235436      287            0              14   86   39   
204.58/204.70	c 2902077        5095980        655466431      387753962      287            0              9   68   57    
223.07/223.13	c 3192349        5598175        712162514      418765888      287            0              9   122   65   
248.06/248.17	c 3511648        6156537        784253574      456185984      287            0              1   107   68   
278.46/278.58	c 3862876        6760727        872124679      504255531      287            0              9   50   45    
305.16/305.29	c 4249226        7432452        957232787      552647584      287            0              11   86   44   
333.26/333.36	c 4674211        8169531        1048114173     602597120      287            0              9   107   53   
366.45/366.57	c 5141694        9001085        1147775486     655190279      287            0              1   89   71    
402.05/402.14	c 5655925        9897974        1263212932     720310698      287            0              9   68   43    
436.14/436.23	c 6221579        10849908       1367372212     776926914      287            0              9   222   78   
482.34/482.46	c 6843798        12081345       1505264785     843245141      287            0              1   183   94   
537.33/537.41	c 7528238        13590145       1689610331     921919335      287            0              9   204   95   
596.02/596.15	c 8281122        14887116       1872175914     1019021518     287            0              1   54   44    
668.11/668.22	c 9109294        16701077       2095916456     1122935747     287            0              13   223   89  
727.21/727.38	c 10020283       18262237       2290439772     1236390671     287            0              9   92   40    
842.69/842.89	c 11022370       21208546       2670543948     1373679455     287            0              9   229   154  
958.78/958.99	c 12124665       23818774       3054641770     1532820733     287            0              9   204   109  
1060.57/1060.75	c 13337189       26919237       3382140737     1646740775     287            0              1   144   134  
1176.76/1176.98	c 14670965       29612629       3729213815     1809474762     287            0              11   103   77  
1290.34/1290.59	c 16138118       32165802       4064622596     2000765616     287            0              11   53   46   
1434.13/1434.36	c 17751986       36028651       4474420220     2174195078     287            0              9   199   134  
1639.80/1640.09	c 19527240       40984638       5155203305     2412166575     287            0              18   207   149 
1818.78/1819.00	c 21480019       45559881       5721237496     2625082124     287            0              18   197   136 
1988.86/1989.12	c 23628075       50072272       6218155318     2840422583     287            0              20   176   123 
2191.64/2191.94	c 25990936       54633871       6829595809     3155697993     287            0              13   76   67

Verifier Data 

One s line expected

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-4242340-1500662584/watcher-4242340-1500662584 -o /tmp/evaluation-result-4242340-1500662584/solver-4242340-1500662584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500648174-9865 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242340-1500662584.xml 

pid=11281
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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/243 11284
/proc/meminfo: memFree=32020024/32770624 swapFree=5872/191240
[pid=11284] ppid=11281 vsize=27652 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1156 0 0 0 1 0 0 0 20 0 1 0 1525226 28315648 964 33554432000 4194304 5970956 140731131511040 140731131507688 140316892818405 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 6913 964 736 434 0 277 0

[startup+0.100097 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11284
/proc/meminfo: memFree=32020024/32770624 swapFree=5872/191240
[pid=11284] ppid=11281 vsize=28440 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1466 0 0 0 9 0 0 0 20 0 1 0 1525226 29122560 1266 33554432000 4194304 5970956 140731131511040 140731131508376 4934460 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7110 1266 826 434 0 474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28440

[startup+0.200255 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11284
/proc/meminfo: memFree=32020024/32770624 swapFree=5872/191240
[pid=11284] ppid=11281 vsize=28440 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1466 0 0 0 19 0 0 0 20 0 1 0 1525226 29122560 1266 33554432000 4194304 5970956 140731131511040 140731131508376 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7110 1266 826 434 0 474 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28440

[startup+0.300204 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11284
/proc/meminfo: memFree=32020024/32770624 swapFree=5872/191240
[pid=11284] ppid=11281 vsize=28440 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1466 0 0 0 29 0 0 0 20 0 1 0 1525226 29122560 1266 33554432000 4194304 5970956 140731131511040 140731131508376 4975039 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7110 1266 826 434 0 474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28440

[startup+0.700183 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11284
/proc/meminfo: memFree=32020024/32770624 swapFree=5872/191240
[pid=11284] ppid=11281 vsize=28440 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1466 0 0 0 69 0 0 0 20 0 1 0 1525226 29122560 1266 33554432000 4194304 5970956 140731131511040 140731131508376 4977563 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7110 1266 826 434 0 474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28440

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32008300/32770624 swapFree=5872/191376
[pid=11284] ppid=11281 vsize=28584 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1482 0 0 0 149 0 0 0 20 0 1 0 1525226 29270016 1266 33554432000 4194304 5970956 140731131511040 140731131508376 4974327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1266 826 434 0 510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28584

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32006848/32770624 swapFree=5872/191260
[pid=11284] ppid=11281 vsize=28584 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 1891 0 0 0 309 0 0 0 20 0 1 0 1525226 29270016 1322 33554432000 4194304 5970956 140731131511040 140731131508376 4977792 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1322 848 434 0 510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28584

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32006584/32770624 swapFree=5872/191308
[pid=11284] ppid=11281 vsize=28584 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 2300 0 0 0 629 0 0 0 20 0 1 0 1525226 29270016 1322 33554432000 4194304 5970956 140731131511040 140731131508376 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1322 848 434 0 510 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28584

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32004148/32770624 swapFree=5872/191312
[pid=11284] ppid=11281 vsize=28584 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 2741 0 0 0 1269 0 0 0 20 0 1 0 1525226 29270016 1337 33554432000 4194304 5970956 140731131511040 140731131508376 5031451 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1337 848 434 0 510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28584

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32002832/32770624 swapFree=5872/191320
[pid=11284] ppid=11281 vsize=28584 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 3551 0 0 0 2549 0 0 0 20 0 1 0 1525226 29270016 1337 33554432000 4194304 5970956 140731131511040 140731131508376 4969913 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1337 848 434 0 510 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28584

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32003620/32770624 swapFree=5872/191356
[pid=11284] ppid=11281 vsize=28584 CPUtime=51.09 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 4014 0 0 0 5109 0 0 0 20 0 1 0 1525226 29270016 1337 33554432000 4194304 5970956 140731131511040 140731131508376 4970963 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7146 1337 848 434 0 510 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28584

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11286
/proc/meminfo: memFree=32004628/32770624 swapFree=5872/191436
[pid=11284] ppid=11281 vsize=28716 CPUtime=102.29 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 4482 0 0 0 10229 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 5098910 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 28716

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 11287
/proc/meminfo: memFree=32004704/32770624 swapFree=5872/191512
[pid=11284] ppid=11281 vsize=28716 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 4922 0 0 0 16227 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 4969782 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 28716

[startup+222.308 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11288
/proc/meminfo: memFree=32005200/32770624 swapFree=5872/191564
[pid=11284] ppid=11281 vsize=28716 CPUtime=222.27 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 5364 0 0 0 22227 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 4971649 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 28716

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11289
/proc/meminfo: memFree=32005520/32770624 swapFree=5872/191608
[pid=11284] ppid=11281 vsize=28716 CPUtime=282.26 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 5804 0 0 0 28226 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 4971752 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 28716

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11290
/proc/meminfo: memFree=32005740/32770624 swapFree=5872/191644
[pid=11284] ppid=11281 vsize=28716 CPUtime=342.25 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 6245 0 0 0 34225 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 5031483 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 28716

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11291
/proc/meminfo: memFree=32005516/32770624 swapFree=5872/191700
[pid=11284] ppid=11281 vsize=28716 CPUtime=402.25 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 6685 0 0 0 40225 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 4976565 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 28716

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11300
/proc/meminfo: memFree=32004868/32770624 swapFree=5872/191772
[pid=11284] ppid=11281 vsize=28716 CPUtime=462.24 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 7146 0 0 0 46224 0 0 0 20 0 1 0 1525226 29405184 1358 33554432000 4194304 5970956 140731131511040 140731131508376 4974634 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1358 848 434 0 543 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 28716

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11301
/proc/meminfo: memFree=32005356/32770624 swapFree=5872/191808
[pid=11284] ppid=11281 vsize=28716 CPUtime=522.23 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 7606 0 0 0 52223 0 0 0 20 0 1 0 1525226 29405184 1373 33554432000 4194304 5970956 140731131511040 140731131508376 5031424 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1373 848 434 0 543 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 28716

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11302
/proc/meminfo: memFree=32005420/32770624 swapFree=5872/191848
[pid=11284] ppid=11281 vsize=28716 CPUtime=582.22 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 8047 0 0 0 58222 0 0 0 20 0 1 0 1525226 29405184 1373 33554432000 4194304 5970956 140731131511040 140731131508376 5031483 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1373 848 434 0 543 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 28716


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11349
/proc/meminfo: memFree=32002120/32770624 swapFree=5872/192452
[pid=11284] ppid=11281 vsize=28716 CPUtime=1542.12 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 15249 0 0 0 154212 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4934498 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 28716

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11350
/proc/meminfo: memFree=32002100/32770624 swapFree=5872/192480
[pid=11284] ppid=11281 vsize=28716 CPUtime=1602.11 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 15684 0 0 0 160211 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4974124 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 28716

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/245 11360
/proc/meminfo: memFree=32002564/32770624 swapFree=5872/192528
[pid=11284] ppid=11281 vsize=28716 CPUtime=1662.1 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 16149 0 0 0 166210 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4974124 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 28716

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11361
/proc/meminfo: memFree=32002684/32770624 swapFree=5872/192552
[pid=11284] ppid=11281 vsize=28716 CPUtime=1722.09 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 16564 0 0 0 172209 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 5327993 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 28716

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11362
/proc/meminfo: memFree=32002184/32770624 swapFree=5872/192584
[pid=11284] ppid=11281 vsize=28716 CPUtime=1782.09 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 16990 0 0 0 178209 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4974791 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 28716

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11363
/proc/meminfo: memFree=32002544/32770624 swapFree=5872/192620
[pid=11284] ppid=11281 vsize=28716 CPUtime=1842.08 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 17455 0 0 0 184208 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 5098910 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 28716

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11364
/proc/meminfo: memFree=32001472/32770624 swapFree=5872/192644
[pid=11284] ppid=11281 vsize=28716 CPUtime=1902.07 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 17875 0 0 0 190207 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4970672 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 28716

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=32001180/32770624 swapFree=5872/192680
[pid=11284] ppid=11281 vsize=28716 CPUtime=1962.07 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 18289 0 0 0 196207 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4976717 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 28716

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11366
/proc/meminfo: memFree=32002020/32770624 swapFree=5872/192720
[pid=11284] ppid=11281 vsize=28716 CPUtime=2022.06 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 18754 0 0 0 202206 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 5031424 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 28716

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11367
/proc/meminfo: memFree=32002100/32770624 swapFree=5872/192744
[pid=11284] ppid=11281 vsize=28716 CPUtime=2082.06 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 19197 0 0 0 208206 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4976168 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 28716

[startup+2142.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 11368
/proc/meminfo: memFree=32002316/32770624 swapFree=5872/192776
[pid=11284] ppid=11281 vsize=28716 CPUtime=2142.04 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 19640 0 0 0 214204 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4970637 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 28716

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 11369
/proc/meminfo: memFree=32002428/32770624 swapFree=5872/192808
[pid=11284] ppid=11281 vsize=28716 CPUtime=2202.05 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 20104 0 0 0 220205 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 4978128 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 28716

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11377
/proc/meminfo: memFree=32001248/32770624 swapFree=5872/192848
[pid=11284] ppid=11281 vsize=28716 CPUtime=2262.03 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 20563 0 0 0 226203 0 0 0 20 0 1 0 1525226 29405184 1378 33554432000 4194304 5970956 140731131511040 140731131508376 5031447 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7179 1378 848 434 0 543 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 28716

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11378
/proc/meminfo: memFree=32002216/32770624 swapFree=5872/192876
[pid=11284] ppid=11281 vsize=28848 CPUtime=2322.02 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 20987 0 0 0 232202 0 0 0 20 0 1 0 1525226 29540352 1385 33554432000 4194304 5970956 140731131511040 140731131507960 5320146 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7212 1385 848 434 0 576 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 28848

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11379
/proc/meminfo: memFree=32001760/32770624 swapFree=5872/192908
[pid=11284] ppid=11281 vsize=28848 CPUtime=2382.02 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 21408 0 0 0 238202 0 0 0 20 0 1 0 1525226 29540352 1386 33554432000 4194304 5970956 140731131511040 140731131507960 5031474 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7212 1386 848 434 0 576 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 28848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11379
/proc/meminfo: memFree=32001884/32770624 swapFree=5872/192916
[pid=11284] ppid=11281 vsize=28848 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 21823 0 0 0 240002 0 0 0 20 0 1 0 1525226 29540352 1386 33554432000 4194304 5970956 140731131511040 140731131507960 4970973 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7212 1386 848 434 0 576 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 28848

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 11284 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11379
/proc/meminfo: memFree=32001884/32770624 swapFree=5872/192916
[pid=11284] ppid=11281 vsize=28848 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/11284/stat : 11284 (cosoco) R 11281 11284 9833 0 -1 4202496 21823 0 0 0 240002 0 0 0 20 0 1 0 1525226 29540352 1386 33554432000 4194304 5970956 140731131511040 140731131507960 4970973 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 9904128 140731131516097 140731131516227 140731131516227 140731131518926 0
/proc/11284/statm: 7212 1386 848 434 0 576 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 28848

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.03
CPU system time (s): 0.002999
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 28848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.002999
maximum resident set size= 5588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21850
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= 120617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87505 second user time and 10.4015 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-21 20:43:04
IDJOB=4242340
IDBENCH=133923
IDSOLVER=2620
FILE ID=node136/4242340-1500662584
RUNJOBID= node136-1500648174-9865
PBS_JOBID= 20623284
Free space on /tmp= 61992 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242340-1500662584/watcher-4242340-1500662584 -o /tmp/evaluation-result-4242340-1500662584/solver-4242340-1500662584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500648174-9865 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242340-1500662584.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=2029947784

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32025684 kB
MemAvailable:   32015596 kB
Buffers:           32652 kB
Cached:           267168 kB
SwapCached:            0 kB
Active:           173024 kB
Inactive:         199976 kB
Active(anon):      75432 kB
Inactive(anon):     8736 kB
Active(file):      97592 kB
Inactive(file):   191240 kB
Unevictable:        5872 kB
Mlocked:            5904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4856 kB
Writeback:             0 kB
AnonPages:         77912 kB
Mapped:            30744 kB
Shmem:              8852 kB
Slab:              65248 kB
SReclaimable:      33832 kB
SUnreclaim:        31416 kB
KernelStack:        4240 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     346284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61992 MiB
End job on node136 at 2017-07-21 21:23:04