Trace number 4268344

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.75 2520

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-34.xml
MD5SUM1b92d79ba6653e54d61f1abcadddddde
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 variables1717
Number of constraints697
Number of domains2
Minimum domain size34
Maximum domain size561
Distribution of domain sizes[{"size":34,"count":1156},{"size":561,"count":561}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":578},{"degree":4,"count":1139}]
Minimum constraint arity1
Maximum constraint arity561
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":17},{"arity":3,"count":561},{"arity":17,"count":33},{"arity":34,"count":34},{"arity":66,"count":17},{"arity":68,"count":17},{"arity":561,"count":1}]
Number of extensional constraints561
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":561},{"type":"intension","count":34},{"type":"allDifferent","count":35},{"type":"count","count":33},{"type":"cardinality","count":34}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.10	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.10	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.04/0.10	c
0.04/0.10	c intension hd[0]<ad[0]  using generic constraint 
0.04/0.10	c intension hd[1]<ad[1]  using generic constraint 
0.04/0.10	c intension hd[2]<ad[2]  using generic constraint 
0.04/0.10	c intension hd[3]<ad[3]  using generic constraint 
0.04/0.10	c intension hd[4]<ad[4]  using generic constraint 
0.04/0.10	c intension hd[5]<ad[5]  using generic constraint 
0.04/0.10	c intension hd[6]<ad[6]  using generic constraint 
0.04/0.10	c intension hd[7]<ad[7]  using generic constraint 
0.04/0.10	c intension hd[8]<ad[8]  using generic constraint 
0.04/0.10	c intension hd[9]<ad[9]  using generic constraint 
0.04/0.10	c intension hd[10]<ad[10]  using generic constraint 
0.04/0.10	c intension hd[11]<ad[11]  using generic constraint 
0.04/0.10	c intension hd[12]<ad[12]  using generic constraint 
0.04/0.10	c intension hd[13]<ad[13]  using generic constraint 
0.04/0.10	c intension hd[14]<ad[14]  using generic constraint 
0.04/0.10	c intension hd[15]<ad[15]  using generic constraint 
0.04/0.10	c intension hd[16]<ad[16]  using generic constraint 
0.04/0.18	c root propagations     : 13940       
0.04/0.18	c restarts enabled, print stats at every restarts
0.04/0.18	c
0.04/0.18	c
0.04/0.18	c
0.04/0.18	c This is cosoco 1.12 --  
0.04/0.18	c
0.04/0.18	c command line: cosoco -lc -model -restarts HOME/instance-4268344-1502544586.xml 
0.04/0.18	c ========================================[ Problem Statistics ]===========================================
0.04/0.18	c |                                                                                                       
0.04/0.18	c |  Parse time        :         0.06 s 
0.04/0.18	c |
0.04/0.18	c |               Variables: 1717
0.04/0.18	c |            Domain Sizes: 34..561
0.04/0.18	c |
0.04/0.18	c |             Constraints: 2397
0.04/0.18	c |                   Arity: 1..561  -- Unary: 17  -- Binary: 17  -- Ternary: 561
0.04/0.18	c | 
0.04/0.18	c |                   Types: 
0.04/0.18	c |                          (X - Y < k): 17
0.04/0.18	c |                          All Different: 35
0.04/0.18	c |                          At least: 578
0.04/0.18	c |                          At most: 578
0.04/0.18	c |                          Exactly K: 611
0.04/0.18	c |                          Extension: 561  (nb tuples: 561..561) -- (shared: 560)
0.04/0.18	c |                          Intension: 17
0.04/0.18	c |                          
0.04/0.18	c =========================================================================================================
0.04/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.15/0.23	c 101            292            182962         43369          1717           0              96   192   112 
0.25/0.39	c 211            678            301169         163409         1717           0              54   192   186 
0.45/0.54	c 332            1119           497204         295422         1717           0              65   240   232 
0.55/0.66	c 465            1541           679011         421918         1717           0              19   204   197 
0.65/0.74	c 611            1822           737646         442802         1717           0              79   136   130 
0.95/1.00	c 771            2309           911138         607429         1717           0              1   193   186  
1.05/1.10	c 947            2692           1002907        644379         1717           0              64   208   168 
1.15/1.24	c 1140           3176           1165645        803718         1717           0              1   163   156  
1.45/1.51	c 1352           3731           1404558        992229         1717           0              20   247   231 
1.55/1.64	c 1585           4224           1570251        1167218        1717           0              20   78   75   
1.75/1.80	c 1841           4741           1794412        1223798        1717           0              78   262   251 
1.85/1.94	c 2122           5307           1968551        1434398        1717           0              1   72   69    
2.05/2.13	c 2431           5883           2193273        1491537        1717           0              72   268   258 
2.15/2.28	c 2770           6559           2399573        1746622        1717           0              1   75   72    
2.34/2.42	c 3142           7168           2522467        1790728        1717           0              27   238   216 
2.54/2.64	c 3551           7945           2757128        2096574        1717           0              1   78   74    
2.64/2.78	c 4000           8601           2877316        2134985        1717           0              99   208   204 
2.84/2.96	c 4493           9334           3057216        2183896        1717           0              1   241   219  
3.14/3.20	c 5035           10330          3362022        2579859        1717           0              1   87   83    
3.25/3.38	c 5631           11169          3529035        2629927        1717           0              39   244   222 
3.54/3.67	c 6286           12303          3872871        3088435        1717           0              1   93   89    
3.74/3.84	c 7006           13263          4000770        3134108        1717           0              78   241   227 
4.04/4.18	c 7798           14650          4413526        3693335        1717           0              1   84   80    
4.35/4.42	c 8669           15800          4662692        3751050        1717           0              30   280   258 
4.74/4.87	c 9627           17538          5158011        4465624        1717           0              1   84   81    
5.04/5.15	c 10680          18900          5428916        4530135        1717           0              75   310   272 
5.64/5.71	c 11838          20909          6025649        5380332        1717           0              1   87   83    
5.94/6.01	c 13111          22497          6304515        5455832        1717           0              73   316   303 
6.55/6.62	c 14511          24982          6991534        6472581        1717           0              1   66   62    
7.65/7.78	c 16051          27756          7896969        7667321        1717           0              73   265   261 
8.75/8.84	c 17745          30554          8721293        8678214        1717           0              22   231   226 
9.45/9.58	c 19608          33858          9603196        10013365       1717           0              1   66   63    
11.65/11.80	c 21657          37454          11014444       11604518       1717           0              70   144   140 
12.65/12.73	c 23910          41341          12092342       13226250       1717           0              25   69   66   
14.84/14.97	c 26388          45582          13396679       15110822       1717           0              70   114   111 
17.74/17.81	c 29113          50204          15459189       17231357       1717           0              2   114   110  
19.04/19.14	c 32110          55351          16879134       19373151       1717           0              2   63   60    
20.44/20.52	c 35406          60907          18435779       21726637       1717           0              2   63   60    
21.84/21.93	c 39031          67123          20138910       24334125       1717           0              19   63   60   
23.54/23.61	c 43018          73857          22000287       27201819       1717           0              2   63   59    
25.54/25.65	c 47403          81395          24136086       30408776       1717           0              2   63   59    
27.54/27.61	c 52226          89747          26415496       33930989       1717           0              54   63   60   
29.74/29.86	c 57531          98797          28940416       37837826       1717           0              19   63   59   
32.44/32.55	c 63366          108900         31790285       42191924       1717           0              19   63   59   
35.04/35.18	c 69784          119869         34781474       46914452       1717           0              2   63   59    
37.74/37.81	c 76843          131590         37956024       52035601       1717           0              53   63   59   
41.65/41.73	c 84607          145042         41812827       57943415       1717           0              19   63   59   
45.15/45.21	c 93147          159220         45723981       64178967       1717           0              2   63   58    
49.04/49.12	c 102541         174785         50028154       71105309       1717           0              2   63   58    
53.54/53.69	c 112874         191859         54831642       78815407       1717           0              2   63   58    
58.54/58.67	c 124240         210615         60183859       87232445       1717           0              19   63   58   
64.04/64.11	c 136742         231521         65971032       96558951       1717           0              19   63   58   
70.45/70.53	c 150494         254355         72514033       106892201      1717           0              2   63   58    
77.04/77.19	c 165621         279330         79481926       118110553      1717           0              19   63   58   
83.54/83.63	c 182260         306657         87178622       130382513      1717           0              19   63   57   
90.93/91.02	c 200562         336750         95828038       144051107      1717           0              2   63   57    
98.43/98.51	c 220694         370763         105269906      159275358      1717           0              2   63   57    
107.43/107.52	c 242839         407527         115960153      175782391      1717           0              52   63   57   
116.64/116.78	c 267198         447884         127327574      194230463      1717           0              19   63   57   
126.63/126.78	c 293992         492774         140147251      214106100      1717           0              2   63   58    
137.83/137.93	c 323465         542517         154012546      236293878      1717           0              19   63   57   
151.73/151.90	c 355885         597038         169652065      260702160      1717           0              2   63   57    
166.93/167.03	c 391547         657618         187183740      287770807      1717           0              19   63   57   
183.12/183.29	c 430775         724253         206110246      317645238      1717           0              19   63   57   
199.92/200.03	c 473925         796930         226438250      350148518      1717           0              2   63   57    
220.62/220.71	c 521390         877889         249914701      385948692      1717           0              2   63   57    
241.62/241.78	c 573601         966261         274810870      425885488      1717           0              2   63   57    
265.32/265.40	c 631033         1063541        302138300      469367859      1717           0              2   63   57    
290.72/290.81	c 694208         1170353        332711914      517108385      1717           0              19   63   57   
318.92/319.01	c 763700         1286246        365871380      569434216      1717           0              2   63   56    
349.41/349.52	c 840141         1416742        402510570      627166861      1717           0              2   63   58    
384.41/384.52	c 924226         1559372        443903013      691180322      1717           0              2   63   57    
423.31/423.41	c 1016719        1717295        488720775      761623645      1717           0              19   63   57   
463.20/463.38	c 1118461        1890850        537845475      838009073      1717           0              2   63   57    
508.50/508.67	c 1230377        2075656        591794666      921036544      1717           0              19   63   56   
561.80/561.91	c 1353484        2295092        652196809      1002923458     1717           0              50   64   57   
613.09/613.29	c 1488901        2518802        715564796      1104218471     1717           0              2   63   56    
674.58/674.77	c 1637859        2764303        788284983      1214805990     1717           0              50   63   56   
726.28/726.45	c 1801712        3014879        863233016      1329819243     1717           0              2   61   54    
785.78/785.90	c 1981950        3296918        946262606      1458234228     1717           0              2   63   54    
868.47/868.69	c 2180211        3625749        1044190827     1606324472     1717           0              2   63   56    
941.57/941.72	c 2398298        3965486        1145390027     1761340185     1717           0              19   63   54   
1037.26/1037.41	c 2638193        4366054        1261658426     1939295418     1717           0              49   63   56   
1135.75/1135.90	c 2902077        4782128        1388012340     2130768414     1717           0              19   63   54   
1233.84/1234.05	c 3192349        5236198        1522915934     2337239820     1717           0              19   63   54   
1345.73/1345.96	c 3511648        5732901        1672949233     2565971234     1717           0              2   63   54    
1480.12/1480.39	c 3862876        6298421        1843254192     2822046454     1717           0              2   63   54    
1612.61/1612.82	c 4249226        6915996        2029570570     3057709122     1717           0              46   64   53   
1777.31/1777.60	c 4674211        7589749        2237504026     3365414211     1717           0              47   63   54   
1964.49/1964.73	c 5141694        8374168        2464042450     3711616352     1717           0              49   63   56   
2151.38/2151.65	c 5655925        9194847        2714065522     4022620703     1717           0              46   63   53   
2363.76/2364.09	c 6221579        10118456       2995161802     4438025898     1717           0              47   63   54   
2519.74/2520.00	
2519.74/2520.00	c *** INTERRUPTED ***
2519.74/2520.00	c restarts              : 92          
2519.74/2520.00	c conflicts             : 6648495      (2639 /sec)
2519.74/2520.00	c decisions             : 10791177     (4283 /sec)
2519.74/2520.00	c propagations          : 4747199135  (1884028 /sec)
2519.74/2520.00	c root propagations     : 13940       
2519.74/2520.00	c filter calls          : 3197431501     (1268970 /sec)
2519.74/2520.00	c useless filter calls  : 3157919749     (98 %)
2519.74/2520.00	c Memory used           : 59.50 MB
2519.74/2520.00	c CPU time              : 2519.71 s
2519.74/2520.00	
2519.74/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-4268344-1502544586/watcher-4268344-1502544586 -o /tmp/evaluation-result-4268344-1502544586/solver-4268344-1502544586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268344-1502544586.xml 

pid=4989
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.02 2.01 2.05 2/184 4992
/proc/meminfo: memFree=31054704/32770624 swapFree=0/473704
[pid=4992] ppid=4989 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4992/stat : 4992 (runsolver) D 4989 4992 27450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 154111397 24240128 106 18446744073709551615 4194304 4338465 140733256054592 140733256052232 140443224339159 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34607104 140733256057025 140733256057417 140733256057417 140733256060874 0
/proc/4992/statm: 5918 106 53 36 0 2156 0

[startup+0.10011 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 4992
/proc/meminfo: memFree=31054704/32770624 swapFree=0/473704
[pid=4992] ppid=4989 vsize=46440 CPUtime=0.04 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 5918 0 0 0 4 0 0 0 20 0 1 0 154111397 47554560 5705 18446744073709551615 4194304 5972588 140735216689312 140735216685960 140276222786533 0 0 1 0 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 11643 5771 804 435 0 5006 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46440

[startup+0.200281 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 4992
/proc/meminfo: memFree=31054704/32770624 swapFree=0/473704
[pid=4992] ppid=4989 vsize=57312 CPUtime=0.15 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 8688 0 0 0 14 1 0 0 20 0 1 0 154111397 58687488 8477 18446744073709551615 4194304 5972588 140735216689312 140735216685960 4975114 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 14328 8477 807 435 0 7691 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 57312

[startup+0.300269 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 4992
/proc/meminfo: memFree=31054704/32770624 swapFree=0/473704
[pid=4992] ppid=4989 vsize=59308 CPUtime=0.25 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 9153 0 0 0 24 1 0 0 20 0 1 0 154111397 60731392 8939 18446744073709551615 4194304 5972588 140735216689312 140735216685960 5032455 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 14827 8939 845 435 0 8190 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 59308

[startup+0.700201 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 4992
/proc/meminfo: memFree=31054704/32770624 swapFree=0/473704
[pid=4992] ppid=4989 vsize=59704 CPUtime=0.65 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 9259 0 0 0 64 1 0 0 20 0 1 0 154111397 61136896 9071 18446744073709551615 4194304 5972588 140735216689312 140735216685960 4975204 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 14926 9071 845 435 0 8289 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 59704

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 4993
/proc/meminfo: memFree=31021908/32770624 swapFree=0/473748
[pid=4992] ppid=4989 vsize=60012 CPUtime=1.45 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 9359 0 0 0 144 1 0 0 20 0 1 0 154111397 61452288 9137 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5099648 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15003 9137 845 435 0 8366 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 60012

[startup+3.1002 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 4993
/proc/meminfo: memFree=31020840/32770624 swapFree=0/473668
[pid=4992] ppid=4989 vsize=60408 CPUtime=3.04 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 17066 0 0 0 303 1 0 0 20 0 1 0 154111397 61857792 9270 18446744073709551615 4194304 5972588 140735216689312 140735216685976 4931750 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15102 9270 845 435 0 8465 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 60408

[startup+6.30018 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 4993
/proc/meminfo: memFree=31020048/32770624 swapFree=0/473668
[pid=4992] ppid=4989 vsize=60924 CPUtime=6.24 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 24868 0 0 0 623 1 0 0 20 0 1 0 154111397 62386176 9338 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5328036 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9338 845 435 0 8594 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 60924

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/185 4993
/proc/meminfo: memFree=31019928/32770624 swapFree=0/473672
[pid=4992] ppid=4989 vsize=60924 CPUtime=12.65 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 32632 0 0 0 1263 2 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5328036 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 60924

[startup+25.5003 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 4994
/proc/meminfo: memFree=31019928/32770624 swapFree=0/473672
[pid=4992] ppid=4989 vsize=60924 CPUtime=25.44 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 47831 0 0 0 2542 2 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4931784 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 60924

[startup+51.1004 s]
/proc/loadavg: 1.91 1.98 2.03 3/184 4994
/proc/meminfo: memFree=31020068/32770624 swapFree=0/473664
[pid=4992] ppid=4989 vsize=60924 CPUtime=51.04 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 55576 0 0 0 5101 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4972876 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60924

[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 4996
/proc/meminfo: memFree=31018552/32770624 swapFree=0/473676
[pid=4992] ppid=4989 vsize=60924 CPUtime=102.24 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 63316 0 0 0 10221 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4931747 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 60924

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 4998
/proc/meminfo: memFree=31018652/32770624 swapFree=0/473676
[pid=4992] ppid=4989 vsize=60924 CPUtime=162.23 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 63589 0 0 0 16220 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4935486 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 60924

[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 5000
/proc/meminfo: memFree=31019152/32770624 swapFree=0/473692
[pid=4992] ppid=4989 vsize=60924 CPUtime=222.23 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 63856 0 0 0 22220 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975213 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60924

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 5018
/proc/meminfo: memFree=31015192/32770624 swapFree=0/473728
[pid=4992] ppid=4989 vsize=60924 CPUtime=282.22 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 64114 0 0 0 28219 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5099648 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60924

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 5020
/proc/meminfo: memFree=31015288/32770624 swapFree=0/473732
[pid=4992] ppid=4989 vsize=60924 CPUtime=342.21 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 64354 0 0 0 34218 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975114 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60924

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5022
/proc/meminfo: memFree=31018636/32770624 swapFree=0/473740
[pid=4992] ppid=4989 vsize=60924 CPUtime=402.21 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 64614 0 0 0 40218 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5032459 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 60924

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5024
/proc/meminfo: memFree=31018764/32770624 swapFree=0/473740
[pid=4992] ppid=4989 vsize=60924 CPUtime=462.2 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 64868 0 0 0 46217 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4936073 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 60924

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5026
/proc/meminfo: memFree=31019036/32770624 swapFree=0/473744
[pid=4992] ppid=4989 vsize=60924 CPUtime=522.2 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 65109 0 0 0 52217 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975204 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 60924

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5029
/proc/meminfo: memFree=31018560/32770624 swapFree=0/473764
[pid=4992] ppid=4989 vsize=60924 CPUtime=582.19 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 65355 0 0 0 58216 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975114 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 60924


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


[startup+1602.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 5155
/proc/meminfo: memFree=31048404/32770624 swapFree=0/473936
[pid=4992] ppid=4989 vsize=60924 CPUtime=1602.11 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 69262 0 0 0 160208 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5026373 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 60924

[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 5157
/proc/meminfo: memFree=31048984/32770624 swapFree=0/473944
[pid=4992] ppid=4989 vsize=60924 CPUtime=1662.11 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 69503 0 0 0 166208 3 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4935463 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 60924

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5159
/proc/meminfo: memFree=31049112/32770624 swapFree=0/473944
[pid=4992] ppid=4989 vsize=60924 CPUtime=1722.11 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 69717 0 0 0 172207 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4935456 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 60924

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5161
/proc/meminfo: memFree=31048952/32770624 swapFree=0/473956
[pid=4992] ppid=4989 vsize=60924 CPUtime=1782.11 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 69954 0 0 0 178207 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5099648 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 60924

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5164
/proc/meminfo: memFree=31049280/32770624 swapFree=0/473968
[pid=4992] ppid=4989 vsize=60924 CPUtime=1842.1 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 70148 0 0 0 184206 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975784 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 60924

[startup+1902.3 s]
/proc/loadavg: 1.93 1.97 2.03 3/185 5166
/proc/meminfo: memFree=31049132/32770624 swapFree=0/473960
[pid=4992] ppid=4989 vsize=60924 CPUtime=1902.09 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 70343 0 0 0 190205 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5099648 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 60924

[startup+1962.3 s]
/proc/loadavg: 1.91 1.96 2.02 3/185 5168
/proc/meminfo: memFree=31049220/32770624 swapFree=0/473972
[pid=4992] ppid=4989 vsize=60924 CPUtime=1962.09 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 70547 0 0 0 196205 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5032450 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 60924

[startup+2022.3 s]
/proc/loadavg: 2.03 1.98 2.03 3/185 5170
/proc/meminfo: memFree=31049348/32770624 swapFree=0/473980
[pid=4992] ppid=4989 vsize=60924 CPUtime=2022.08 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 70795 0 0 0 202204 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4979368 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 60924

[startup+2082.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/189 5187
/proc/meminfo: memFree=31043820/32770624 swapFree=0/473968
[pid=4992] ppid=4989 vsize=60924 CPUtime=2082.08 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 71006 0 0 0 208204 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4972816 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 60924

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 5189
/proc/meminfo: memFree=31045156/32770624 swapFree=0/473980
[pid=4992] ppid=4989 vsize=60924 CPUtime=2142.07 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 71222 0 0 0 214203 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5338173 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 60924

[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5192
/proc/meminfo: memFree=31048468/32770624 swapFree=0/473988
[pid=4992] ppid=4989 vsize=60924 CPUtime=2202.07 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 71462 0 0 0 220203 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5325880 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 60924

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5194
/proc/meminfo: memFree=31048312/32770624 swapFree=0/473992
[pid=4992] ppid=4989 vsize=60924 CPUtime=2262.06 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 71666 0 0 0 226202 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4972038 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 60924

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5196
/proc/meminfo: memFree=31048436/32770624 swapFree=0/474008
[pid=4992] ppid=4989 vsize=60924 CPUtime=2322.06 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 71865 0 0 0 232202 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4935502 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 60924

[startup+2382.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/185 5199
/proc/meminfo: memFree=31048160/32770624 swapFree=0/474020
[pid=4992] ppid=4989 vsize=60924 CPUtime=2382.05 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 72108 0 0 0 238201 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 5099619 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 60924

[startup+2442.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/185 5201
/proc/meminfo: memFree=31047784/32770624 swapFree=0/474036
[pid=4992] ppid=4989 vsize=60924 CPUtime=2442.05 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 72315 0 0 0 244201 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975114 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2442.05
Current children cumulated vsize (KiB) 60924

[startup+2502.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/184 5225
/proc/meminfo: memFree=31050180/32770624 swapFree=0/474048
[pid=4992] ppid=4989 vsize=60924 CPUtime=2502.04 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 72522 0 0 0 250200 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4975216 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 60924



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.05 2.02 2.04 3/184 5225
/proc/meminfo: memFree=31048132/32770624 swapFree=0/474048
[pid=4992] ppid=4989 vsize=60924 CPUtime=2519.74 cores=0,2,4,6
/proc/4992/stat : 4992 (cosoco) R 4989 4992 27450 0 -1 4202496 72724 0 0 0 251970 4 0 0 20 0 1 0 154111397 62386176 9398 18446744073709551615 4194304 5972588 140735216689312 140735216686616 4935471 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 10395648 140735216697838 140735216697933 140735216697933 140735216701390 0
/proc/4992/statm: 15231 9398 845 435 0 8594 0
Current children cumulated CPU time (s) 2519.74
Current children cumulated vsize (KiB) 60924

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.75
CPU user time (s): 2519.71
CPU system time (s): 0.045996
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 60924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.045996
maximum resident set size= 37660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72775
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= 23
involuntary context switches= 4190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76954 second user time and 9.42896 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-12 15:15:21
IDJOB=4268344
IDBENCH=133921
IDSOLVER=2658
FILE ID=node132/4268344-1502544586
RUNJOBID= node132-1502500306-27513
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-34.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268344-1502544586/watcher-4268344-1502544586 -o /tmp/evaluation-result-4268344-1502544586/solver-4268344-1502544586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268344-1502544586.xml

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

MD5SUM BENCH= 1b92d79ba6653e54d61f1abcadddddde
RANDOM SEED=2128325081

node132.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.74
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.74
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.74
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.74
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:        31055012 kB
MemAvailable:   31927380 kB
Buffers:          308676 kB
Cached:           872816 kB
SwapCached:            0 kB
Active:           755464 kB
Inactive:         522716 kB
Active(anon):      97508 kB
Inactive(anon):    49012 kB
Active(file):     657956 kB
Inactive(file):   473704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2376 kB
Writeback:             0 kB
AnonPages:         96428 kB
Mapped:            63712 kB
Shmem:             49852 kB
Slab:             139828 kB
SReclaimable:     113088 kB
SUnreclaim:        26740 kB
KernelStack:        3280 kB
PageTables:         5028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     381028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

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