Trace number 4268343

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

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-32.xml
MD5SUMda233c5f22e1387e6e52cea502e17f88
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1520
Number of constraints624
Number of domains2
Minimum domain size32
Maximum domain size496
Distribution of domain sizes[{"size":32,"count":1024},{"size":496,"count":496}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":512},{"degree":4,"count":1008}]
Minimum constraint arity1
Maximum constraint arity496
Distribution of constraint arities[{"arity":1,"count":16},{"arity":2,"count":16},{"arity":3,"count":496},{"arity":16,"count":31},{"arity":32,"count":32},{"arity":62,"count":16},{"arity":64,"count":16},{"arity":496,"count":1}]
Number of extensional constraints496
Number of intensional constraints32
Distribution of constraint types[{"type":"extension","count":496},{"type":"intension","count":32},{"type":"allDifferent","count":33},{"type":"count","count":31},{"type":"cardinality","count":32}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.13	c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint 
0.00/0.13	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.15	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.15	c
0.00/0.16	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.16	c
0.00/0.16	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.16	c
0.00/0.16	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.16	c
0.00/0.16	c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint 
0.00/0.16	c
0.00/0.16	c intension hd[0]<ad[0]  using generic constraint 
0.00/0.16	c intension hd[1]<ad[1]  using generic constraint 
0.00/0.16	c intension hd[2]<ad[2]  using generic constraint 
0.00/0.16	c intension hd[3]<ad[3]  using generic constraint 
0.00/0.16	c intension hd[4]<ad[4]  using generic constraint 
0.00/0.16	c intension hd[5]<ad[5]  using generic constraint 
0.00/0.16	c intension hd[6]<ad[6]  using generic constraint 
0.00/0.16	c intension hd[7]<ad[7]  using generic constraint 
0.00/0.16	c intension hd[8]<ad[8]  using generic constraint 
0.00/0.16	c intension hd[9]<ad[9]  using generic constraint 
0.00/0.16	c intension hd[10]<ad[10]  using generic constraint 
0.00/0.16	c intension hd[11]<ad[11]  using generic constraint 
0.00/0.16	c intension hd[12]<ad[12]  using generic constraint 
0.00/0.16	c intension hd[13]<ad[13]  using generic constraint 
0.00/0.16	c intension hd[14]<ad[14]  using generic constraint 
0.00/0.16	c intension hd[15]<ad[15]  using generic constraint 
0.08/0.22	c root propagations     : 11824       
0.08/0.22	c restarts enabled, print stats at every restarts
0.08/0.22	c
0.08/0.22	c
0.08/0.22	c
0.08/0.22	c This is cosoco 1.12 --  
0.08/0.22	c
0.08/0.22	c command line: cosoco -lc -model -restarts HOME/instance-4268343-1502544331.xml 
0.08/0.22	c ========================================[ Problem Statistics ]===========================================
0.08/0.22	c |                                                                                                       
0.08/0.22	c |  Parse time        :         0.05 s 
0.08/0.22	c |
0.08/0.22	c |               Variables: 1520
0.08/0.22	c |            Domain Sizes: 32..496
0.08/0.22	c |
0.08/0.22	c |             Constraints: 2128
0.08/0.22	c |                   Arity: 1..496  -- Unary: 16  -- Binary: 16  -- Ternary: 496
0.08/0.22	c | 
0.08/0.22	c |                   Types: 
0.08/0.22	c |                          (X - Y < k): 16
0.08/0.22	c |                          All Different: 33
0.08/0.22	c |                          At least: 512
0.08/0.22	c |                          At most: 512
0.08/0.22	c |                          Exactly K: 543
0.08/0.22	c |                          Extension: 496  (nb tuples: 496..496) -- (shared: 495)
0.08/0.22	c |                          Intension: 16
0.08/0.22	c |                          
0.08/0.22	c =========================================================================================================
0.08/0.22	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.08/0.27	c 101            289            163273         48608          1520           0              87   180   119 
0.18/0.38	c 211            673            327729         160317         1520           0              53   225   216 
0.38/0.52	c 332            1084           482995         272858         1520           0              18   189   182 
0.38/0.58	c 465            1398           562990         364487         1520           0              18   91   87   
0.48/0.64	c 611            1706           652765         463282         1520           0              18   59   56   
0.58/0.70	c 771            2037           746121         574236         1520           0              18   59   56   
0.58/0.78	c 947            2392           852861         698903         1520           0              18   59   56   
0.68/0.85	c 1140           2794           963648         830789         1520           0              18   59   56   
0.78/0.93	c 1352           3218           1076862        972761         1520           0              2   59   56    
0.88/1.01	c 1585           3679           1202155        1130258        1520           0              2   59   56    
0.99/1.11	c 1841           4188           1340147        1305846        1520           0              2   59   56    
1.09/1.20	c 2122           4723           1487440        1490833        1520           0              18   59   56   
1.18/1.31	c 2431           5286           1642489        1689195        1520           0              18   59   55   
1.28/1.41	c 2770           5901           1810012        1911578        1520           0              2   59   55    
1.38/1.56	c 3142           6580           2001541        2163798        1520           0              18   59   55   
1.48/1.68	c 3551           7296           2190137        2426553        1520           0              2   59   55    
1.68/1.83	c 4000           8113           2404151        2713521        1520           0              18   59   55   
1.78/1.99	c 4493           9011           2636834        3032064        1520           0              18   59   55   
1.98/2.16	c 5035           9962           2890946        3384785        1520           0              2   59   55    
2.19/2.36	c 5631           10995          3163710        3765895        1520           0              2   59   55    
2.48/2.61	c 6286           12163          3474345        4203307        1520           0              18   59   55   
2.68/2.86	c 7006           13417          3800774        4679240        1520           0              18   59   55   
2.98/3.13	c 7798           14762          4161170        5203659        1520           0              18   59   54   
3.28/3.42	c 8669           16325          4546239        5789659        1520           0              2   59   55    
3.58/3.74	c 9627           17925          4964409        6435157        1520           0              18   59   54   
3.88/4.08	c 10680          19672          5417002        7140448        1520           0              18   59   54   
4.28/4.49	c 11838          21625          5933267        7924162        1520           0              18   59   54   
4.78/4.91	c 13111          23712          6485626        8786281        1520           0              2   59   54    
5.29/5.42	c 14511          26104          7095759        9741353        1520           0              2   59   54    
5.89/6.03	c 16051          28715          7797418        10775419       1520           0              2   59   54    
6.69/6.82	c 17745          31898          8581959        11784779       1520           0              52   60   55   
7.39/7.56	c 19608          35071          9423417        13062778       1520           0              2   59   54    
8.29/8.43	c 21657          38626          10348586       14480443       1520           0              21   59   54   
9.19/9.36	c 23910          42515          11348995       16031270       1520           0              2   59   54    
10.19/10.32	c 26388          46662          12434857       17705919       1520           0              18   59   54   
11.39/11.56	c 29113          51479          13706210       19576329       1520           0              18   59   54   
12.69/12.81	c 32110          56557          15034807       21622007       1520           0              2   59   54    
13.99/14.11	c 35406          62297          16510808       23882000       1520           0              2   59   54    
15.48/15.69	c 39031          68402          18163865       26326106       1520           0              18   59   53   
17.18/17.39	c 43018          75097          19934251       29066736       1520           0              2   59   53    
18.98/19.14	c 47403          82514          21869096       32003371       1520           0              18   59   53   
20.89/21.06	c 52226          90549          24019178       35222551       1520           0              2   59   53    
23.18/23.34	c 57531          99431          26402151       38879123       1520           0              2   59   53    
25.48/25.60	c 63366          108968         28938344       42674177       1520           0              2   59   53    
27.99/28.15	c 69784          119551         31811046       46916993       1520           0              2   59   53    
31.09/31.29	c 76843          131520         35050371       51729450       1520           0              18   59   53   
34.29/34.47	c 84607          144493         38499176       56939582       1520           0              18   59   53   
37.29/37.50	c 93147          157729         42124779       62348211       1520           0              18   55   51   
40.89/41.07	c 102541         172345         46073325       68433333       1520           0              21   55   51   
44.49/44.69	c 112874         188385         50442075       75008101       1520           0              2   55   51    
48.49/48.69	c 124240         206024         55249966       82313404       1520           0              46   55   51   
53.19/53.35	c 136742         226325         60613155       90507461       1520           0              48   59   53   
59.79/59.95	c 150494         250201         67180934       98298415       1520           0              47   59   53   
64.89/65.09	c 165621         274009         73760624       106195968      1520           0              45   54   50   
70.78/70.91	c 182260         300184         80986394       116845661      1520           0              2   59   51    
77.18/77.35	c 200562         328701         89071931       128652552      1520           0              2   59   51    
83.68/83.80	c 220694         361186         97960478       141773321      1520           0              18   59   51   
89.28/89.45	c 242839         394489         107094802      155486657      1520           0              18   53   49   
97.38/97.55	c 267198         433672         117921858      171330992      1520           0              2   59   51    
104.88/105.05	c 293992         474351         129527082      188081789      1520           0              2   53   49    
113.28/113.44	c 323465         519655         142157470      206496973      1520           0              44   58   50   
125.58/125.70	c 355885         574604         157044034      228540511      1520           0              2   59   53    
134.98/135.10	c 391547         626231         172073547      250181200      1520           0              18   51   47   
144.28/144.43	c 430775         683189         188333730      274073066      1520           0              2   51   47    
156.78/156.93	c 473925         751468         207281586      295964448      1520           0              34   55   50   
171.28/171.44	c 521390         825272         228410808      326040512      1520           0              2   57   50    
186.48/186.69	c 573601         903308         250976780      358458000      1520           0              2   55   49    
203.89/204.05	c 631033         991984         276237365      395083845      1520           0              2   59   50    
219.69/219.89	c 694208         1082486        302588902      433249327      1520           0              2   51   47    
238.59/238.80	c 763700         1186921        332395938      476319401      1520           0              2   53   49    
257.49/257.64	c 840141         1296725        364082036      522179494      1520           0              2   51   47    
279.30/279.45	c 924226         1415711        399741219      573021337      1520           0              2   49   45    
306.19/306.31	c 1016719        1557334        439731071      631192800      1520           0              2   55   49    
332.20/332.33	c 1118461        1702336        482574565      692260273      1520           0              2   53   46    
359.90/360.00	c 1230377        1861507        528976435      760011673      1520           0              2   51   46    
392.90/393.07	c 1353484        2045380        581784562      835622083      1520           0              2   53   48    
424.20/424.38	c 1488901        2237486        639352562      896722779      1520           0              22   50   45   
464.40/464.56	c 1637859        2455734        703765896      987387803      1520           0              2   53   48    
507.61/507.72	c 1801712        2696737        775044321      1064329410     1520           0              41   52   47   
545.81/545.92	c 1981950        2951762        851436289      1147324359     1520           0              38   50   45   
608.01/608.14	c 2180211        3257144        940125204      1272180124     1520           0              2   59   50    
662.12/662.22	c 2398298        3581692        1035628833     1374719112     1520           0              41   52   47   
718.52/718.62	c 2638193        3905332        1135831121     1513816138     1520           0              2   47   43    
791.13/791.27	c 2902077        4316835        1252749650     1645754686     1520           0              42   54   49   
860.63/860.77	c 3192349        4709390        1373919073     1814002409     1520           0              2   47   43    
946.34/946.43	c 3511648        5172170        1513451347     2007218898     1520           0              2   51   47    
1031.64/1031.76	c 3862876        5673792        1662474021     2217596211     1520           0              39   51   46   
1134.35/1134.49	c 4249226        6234877        1830321261     2451670685     1520           0              2   51   47    
1231.76/1231.84	c 4674211        6818666        2009077896     2699949160     1520           0              2   57   44    
1337.36/1337.42	c 5141694        7442167        2206180286     2970443680     1520           0              2   47   42    
1452.17/1452.24	c 5655925        8126263        2418717686     3266171934     1520           0              2   47   41    
1588.58/1588.69	c 6221579        8911077        2658958635     3599720198     1520           0              2   49   45    
1719.09/1719.18	c 6843798        9731923        2919636960     3952767664     1520           0              2   47   41    
1907.90/1907.90	c 7528238        10715254       3221923444     4367942950     1520           0              2   35   30    
2067.31/2067.37	c 8281122        11702969       3533210724     4796637786     1520           0              2   31   24    
2257.93/2258.00	c 9109294        12858937       3883958064     5284073244     1520           0              2   33   29    
2465.75/2465.77	c 10020283       14042944       4266919381     5803275070     1520           0              2   33   23    
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 97          
2520.05/2520.00	c conflicts             : 10272191     (4076 /sec)
2520.05/2520.00	c decisions             : 14393553     (5712 /sec)
2520.05/2520.00	c propagations          : 5913406943  (2346565 /sec)
2520.05/2520.00	c root propagations     : 11824       
2520.05/2520.00	c filter calls          : 4373466504     (1735484 /sec)
2520.05/2520.00	c useless filter calls  : 4319248797     (98 %)
2520.05/2520.00	c Memory used           : 52.04 MB
2520.05/2520.00	c CPU time              : 2520.03 s
2520.05/2520.00	
2520.05/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-4268343-1502544331/watcher-4268343-1502544331 -o /tmp/evaluation-result-4268343-1502544331/solver-4268343-1502544331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268343-1502544331.xml 

pid=10169
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.03 2.05 3/188 10172
/proc/meminfo: memFree=31044348/32770624 swapFree=0/485184
[pid=10172] ppid=10169 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10172/stat : 10172 (runsolver) D 10169 10172 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 96344351 24240128 106 18446744073709551615 4194304 4338465 140720701053952 140720701051592 140332348674775 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 36401152 140720701055170 140720701055561 140720701055561 140720701059018 0
/proc/10172/statm: 5918 106 53 36 0 2156 0

[startup+0.100154 s]
/proc/loadavg: 2.09 2.03 2.05 3/188 10172
/proc/meminfo: memFree=31044348/32770624 swapFree=0/485184
[pid=10172] ppid=10169 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10172/stat : 10172 (runsolver) D 10169 10172 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 96344351 24240128 106 18446744073709551615 4194304 4338465 140720701053952 140720701051592 140332348674775 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 36401152 140720701055170 140720701055561 140720701055561 140720701059018 0
/proc/10172/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200362 s]
/proc/loadavg: 2.09 2.03 2.05 3/188 10172
/proc/meminfo: memFree=31044348/32770624 swapFree=0/485184
[pid=10172] ppid=10169 vsize=51428 CPUtime=0.08 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 7191 0 0 0 8 0 0 0 20 0 1 0 96344351 52662272 6975 18446744073709551615 4194304 5972588 140723691478480 140723691475704 5323639 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 12857 6975 807 435 0 6220 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 51428

[startup+0.30039 s]
/proc/loadavg: 2.09 2.03 2.05 3/188 10172
/proc/meminfo: memFree=31044348/32770624 swapFree=0/485184
[pid=10172] ppid=10169 vsize=52616 CPUtime=0.18 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 7502 0 0 0 18 0 0 0 20 0 1 0 96344351 53878784 7305 18446744073709551615 4194304 5972588 140723691478480 140723691475704 5325576 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13154 7305 845 435 0 6517 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 52616

[startup+0.700302 s]
/proc/loadavg: 2.09 2.03 2.05 3/188 10172
/proc/meminfo: memFree=31044348/32770624 swapFree=0/485184
[pid=10172] ppid=10169 vsize=53280 CPUtime=0.58 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 7679 0 0 0 58 0 0 0 20 0 1 0 96344351 54558720 7503 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4971621 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7503 845 435 0 6683 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 53280

[startup+1.50029 s]
/proc/loadavg: 2.09 2.03 2.05 3/189 10173
/proc/meminfo: memFree=31018384/32770624 swapFree=0/485168
[pid=10172] ppid=10169 vsize=53280 CPUtime=1.38 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 7679 0 0 0 138 0 0 0 20 0 1 0 96344351 54558720 7503 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099619 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7503 845 435 0 6683 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 53280

[startup+3.10029 s]
/proc/loadavg: 2.09 2.03 2.05 3/189 10173
/proc/meminfo: memFree=31018012/32770624 swapFree=0/485168
[pid=10172] ppid=10169 vsize=53280 CPUtime=2.98 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 7679 0 0 0 298 0 0 0 20 0 1 0 96344351 54558720 7503 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935657 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7503 845 435 0 6683 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 53280

[startup+6.30029 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 10173
/proc/meminfo: memFree=31020084/32770624 swapFree=0/485160
[pid=10172] ppid=10169 vsize=53280 CPUtime=6.19 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 19826 0 0 0 618 1 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4975200 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 53280

[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.06 3/186 10173
/proc/meminfo: memFree=31020856/32770624 swapFree=0/485160
[pid=10172] ppid=10169 vsize=53280 CPUtime=12.59 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 26012 0 0 0 1258 1 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935248 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 53280

[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 2.05 3/186 10173
/proc/meminfo: memFree=31021108/32770624 swapFree=0/485148
[pid=10172] ppid=10169 vsize=53280 CPUtime=25.38 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 36068 0 0 0 2537 1 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935596 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 53280

[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 10174
/proc/meminfo: memFree=31021232/32770624 swapFree=0/485144
[pid=10172] ppid=10169 vsize=53280 CPUtime=50.99 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 44371 0 0 0 5097 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4978745 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 53280

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 10175
/proc/meminfo: memFree=31019976/32770624 swapFree=0/485152
[pid=10172] ppid=10169 vsize=53280 CPUtime=102.18 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 50564 0 0 0 10216 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4971664 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 53280

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 10177
/proc/meminfo: memFree=31021396/32770624 swapFree=0/485156
[pid=10172] ppid=10169 vsize=53280 CPUtime=162.18 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 51023 0 0 0 16216 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5032400 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 53280

[startup+222.306 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 10179
/proc/meminfo: memFree=31021140/32770624 swapFree=0/485160
[pid=10172] ppid=10169 vsize=53280 CPUtime=222.19 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 51471 0 0 0 22217 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5032450 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 53280

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 10241
/proc/meminfo: memFree=31083028/32770624 swapFree=0/485156
[pid=10172] ppid=10169 vsize=53280 CPUtime=282.19 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 51475 0 0 0 28217 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099648 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 53280

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 10243
/proc/meminfo: memFree=31083112/32770624 swapFree=0/485188
[pid=10172] ppid=10169 vsize=53280 CPUtime=342.2 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 51934 0 0 0 34218 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935674 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 53280

[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/185 10245
/proc/meminfo: memFree=31083112/32770624 swapFree=0/485204
[pid=10172] ppid=10169 vsize=53280 CPUtime=402.2 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 51934 0 0 0 40218 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935478 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 53280

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 10248
/proc/meminfo: memFree=31083316/32770624 swapFree=0/485200
[pid=10172] ppid=10169 vsize=53280 CPUtime=462.2 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 52365 0 0 0 46218 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4975584 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 53280

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 10265
/proc/meminfo: memFree=31078900/32770624 swapFree=0/485200
[pid=10172] ppid=10169 vsize=53280 CPUtime=522.21 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 52393 0 0 0 52219 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4977689 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 53280

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 10267
/proc/meminfo: memFree=31079004/32770624 swapFree=0/485212
[pid=10172] ppid=10169 vsize=53280 CPUtime=582.21 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 52823 0 0 0 58219 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099648 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 53280


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


[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 10341
/proc/meminfo: memFree=31081868/32770624 swapFree=0/485424
[pid=10172] ppid=10169 vsize=53280 CPUtime=1602.28 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 56333 0 0 0 160226 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5032400 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 53280

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 10343
/proc/meminfo: memFree=31082000/32770624 swapFree=0/485428
[pid=10172] ppid=10169 vsize=53280 CPUtime=1662.29 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 56700 0 0 0 166227 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4978055 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 53280

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 10360
/proc/meminfo: memFree=31077648/32770624 swapFree=0/485444
[pid=10172] ppid=10169 vsize=53280 CPUtime=1722.29 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 56776 0 0 0 172227 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4972757 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 53280

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 10362
/proc/meminfo: memFree=31077780/32770624 swapFree=0/485440
[pid=10172] ppid=10169 vsize=53280 CPUtime=1782.29 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 57176 0 0 0 178227 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099648 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 53280

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 10364
/proc/meminfo: memFree=31080720/32770624 swapFree=0/485464
[pid=10172] ppid=10169 vsize=53280 CPUtime=1842.3 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 57176 0 0 0 184228 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935663 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 53280

[startup+1902.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 10367
/proc/meminfo: memFree=31080612/32770624 swapFree=0/485472
[pid=10172] ppid=10169 vsize=53280 CPUtime=1902.3 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 57576 0 0 0 190228 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 53280

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 10369
/proc/meminfo: memFree=31081204/32770624 swapFree=0/485480
[pid=10172] ppid=10169 vsize=53280 CPUtime=1962.31 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 57622 0 0 0 196229 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099628 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 53280

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 10371
/proc/meminfo: memFree=31080964/32770624 swapFree=0/485492
[pid=10172] ppid=10169 vsize=53280 CPUtime=2022.31 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58004 0 0 0 202229 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4975784 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 53280

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 10373
/proc/meminfo: memFree=31080932/32770624 swapFree=0/485500
[pid=10172] ppid=10169 vsize=53280 CPUtime=2082.32 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58034 0 0 0 208230 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4970878 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 53280

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 10375
/proc/meminfo: memFree=31081568/32770624 swapFree=0/485504
[pid=10172] ppid=10169 vsize=53280 CPUtime=2142.32 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58403 0 0 0 214230 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4975275 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 53280

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10378
/proc/meminfo: memFree=31082176/32770624 swapFree=0/485516
[pid=10172] ppid=10169 vsize=53280 CPUtime=2202.33 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58403 0 0 0 220231 2 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4975379 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 53280

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 10381
/proc/meminfo: memFree=31081536/32770624 swapFree=0/485532
[pid=10172] ppid=10169 vsize=53280 CPUtime=2262.33 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58825 0 0 0 226230 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 53280

[startup+2322.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/188 10397
/proc/meminfo: memFree=31077604/32770624 swapFree=0/485540
[pid=10172] ppid=10169 vsize=53280 CPUtime=2322.34 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 58832 0 0 0 232231 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4972754 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 53280

[startup+2382.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 10400
/proc/meminfo: memFree=31077624/32770624 swapFree=0/485544
[pid=10172] ppid=10169 vsize=53280 CPUtime=2382.34 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 59233 0 0 0 238231 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5032431 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 53280

[startup+2442.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 10402
/proc/meminfo: memFree=31080468/32770624 swapFree=0/485560
[pid=10172] ppid=10169 vsize=53280 CPUtime=2442.35 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 59244 0 0 0 244232 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5325605 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 53280

[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 10404
/proc/meminfo: memFree=31081212/32770624 swapFree=0/485564
[pid=10172] ppid=10169 vsize=53280 CPUtime=2502.35 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 59674 0 0 0 250232 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 4935150 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2502.35
Current children cumulated vsize (KiB) 53280



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 10406
/proc/meminfo: memFree=31081196/32770624 swapFree=0/485568
[pid=10172] ppid=10169 vsize=53280 CPUtime=2520.05 cores=0,2,4,6
/proc/10172/stat : 10172 (cosoco) R 10169 10172 1478 0 -1 4202496 59674 0 0 0 252002 3 0 0 20 0 1 0 96344351 54558720 7519 18446744073709551615 4194304 5972588 140723691478480 140723691475784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 22609920 140723691479534 140723691479629 140723691479629 140723691483086 0
/proc/10172/statm: 13320 7519 845 435 0 6683 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 53280

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 10172 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.06
CPU user time (s): 2520.03
CPU system time (s): 0.031002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 53280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.031002
maximum resident set size= 30144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59713
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= 21
involuntary context switches= 750

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32785 second user time and 9.651 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-12 15:11:37
IDJOB=4268343
IDBENCH=133915
IDSOLVER=2658
FILE ID=node135/4268343-1502544331
RUNJOBID= node135-1502500348-1543
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-32.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268343-1502544331/watcher-4268343-1502544331 -o /tmp/evaluation-result-4268343-1502544331/solver-4268343-1502544331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268343-1502544331.xml

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

MD5SUM BENCH= da233c5f22e1387e6e52cea502e17f88
RANDOM SEED=1640837576

node135.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.21
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.21
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.21
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.21
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:        31044888 kB
MemAvailable:   31880652 kB
Buffers:          304412 kB
Cached:           830104 kB
SwapCached:            0 kB
Active:           756668 kB
Inactive:         526516 kB
Active(anon):     148952 kB
Inactive(anon):    41332 kB
Active(file):     607716 kB
Inactive(file):   485184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2504 kB
Writeback:             0 kB
AnonPages:        153020 kB
Mapped:            54964 kB
Shmem:             41656 kB
Slab:             144572 kB
SReclaimable:     117400 kB
SUnreclaim:        27172 kB
KernelStack:        3488 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     426140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 15:53:37