Trace number 4268340

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.0701 2519.8999

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-26.xml
MD5SUMe7fb96dadee149724dd4cb9af2eae5d9
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 variables1001
Number of constraints429
Number of domains2
Minimum domain size26
Maximum domain size325
Distribution of domain sizes[{"size":26,"count":676},{"size":325,"count":325}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":338},{"degree":4,"count":663}]
Minimum constraint arity1
Maximum constraint arity325
Distribution of constraint arities[{"arity":1,"count":13},{"arity":2,"count":13},{"arity":3,"count":325},{"arity":13,"count":25},{"arity":26,"count":26},{"arity":50,"count":13},{"arity":52,"count":13},{"arity":325,"count":1}]
Number of extensional constraints325
Number of intensional constraints26
Distribution of constraint types[{"type":"extension","count":325},{"type":"intension","count":26},{"type":"allDifferent","count":27},{"type":"count","count":25},{"type":"cardinality","count":26}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c intension hd[0]<ad[0]  using generic constraint 
0.00/0.09	c intension hd[1]<ad[1]  using generic constraint 
0.00/0.09	c intension hd[2]<ad[2]  using generic constraint 
0.00/0.09	c intension hd[3]<ad[3]  using generic constraint 
0.00/0.09	c intension hd[4]<ad[4]  using generic constraint 
0.00/0.09	c intension hd[5]<ad[5]  using generic constraint 
0.00/0.09	c intension hd[6]<ad[6]  using generic constraint 
0.00/0.09	c intension hd[7]<ad[7]  using generic constraint 
0.00/0.09	c intension hd[8]<ad[8]  using generic constraint 
0.00/0.09	c intension hd[9]<ad[9]  using generic constraint 
0.00/0.09	c intension hd[10]<ad[10]  using generic constraint 
0.00/0.09	c intension hd[11]<ad[11]  using generic constraint 
0.00/0.09	c intension hd[12]<ad[12]  using generic constraint 
0.03/0.11	c root propagations     : 6760        
0.03/0.11	c restarts enabled, print stats at every restarts
0.03/0.11	c
0.03/0.11	c
0.03/0.11	c
0.03/0.11	c This is cosoco 1.12 --  
0.03/0.11	c
0.03/0.11	c command line: cosoco -lc -model -restarts HOME/instance-4268340-1502544209.xml 
0.03/0.11	c ========================================[ Problem Statistics ]===========================================
0.03/0.11	c |                                                                                                       
0.03/0.11	c |  Parse time        :         0.03 s 
0.03/0.11	c |
0.03/0.11	c |               Variables: 1001
0.03/0.11	c |            Domain Sizes: 26..325
0.03/0.11	c |
0.03/0.11	c |             Constraints: 1417
0.03/0.11	c |                   Arity: 1..325  -- Unary: 13  -- Binary: 13  -- Ternary: 325
0.03/0.11	c | 
0.03/0.11	c |                   Types: 
0.03/0.11	c |                          (X - Y < k): 13
0.03/0.11	c |                          All Different: 27
0.03/0.11	c |                          At least: 338
0.03/0.11	c |                          At most: 338
0.03/0.11	c |                          Exactly K: 363
0.03/0.11	c |                          Extension: 325  (nb tuples: 325..325) -- (shared: 324)
0.03/0.11	c |                          Intension: 13
0.03/0.11	c |                          
0.03/0.11	c =========================================================================================================
0.03/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.03/0.14	c 101            275            109913         49701          1001           0              76   144   121 
0.03/0.17	c 211            531            166017         104548         1001           0              53   94   89   
0.13/0.20	c 332            791            225328         162617         1001           0              39   88   83   
0.13/0.26	c 465            1209           339145         211376         1001           0              214   268   261
0.23/0.31	c 611            1532           409899         281363         1001           0              1   50   47    
0.23/0.35	c 771            1855           482166         353126         1001           0              18   50   47   
0.33/0.45	c 947            2270           585397         439989         1001           0              83   142   134 
0.33/0.49	c 1140           2669           673933         527089         1001           0              18   53   50   
0.53/0.61	c 1352           3162           814741         639434         1001           0              18   130   126 
0.53/0.67	c 1585           3612           914308         741134         1001           0              2   53   50    
0.73/0.80	c 1841           4162           1058812        868610         1001           0              18   118   114 
0.73/0.87	c 2122           4690           1177776        994236         1001           0              15   53   49   
0.93/1.02	c 2431           5317           1352938        1148847        1001           0              54   89   86   
0.93/1.09	c 2770           5949           1488034        1295267        1001           0              15   50   47   
1.04/1.14	c 3142           6459           1556870        1311314        1001           0              54   139   134 
1.04/1.19	c 3551           7012           1606748        1326970        1001           0              1   145   140  
1.14/1.24	c 4000           7611           1679965        1344418        1001           0              1   151   148  
1.23/1.32	c 4493           8290           1787285        1366409        1001           0              1   187   181  
1.33/1.42	c 5035           9229           1994743        1592557        1001           0              1   71   67    
1.53/1.69	c 5631           10376          2326547        1875168        1001           0              69   125   122 
1.63/1.77	c 6286           11223          2438049        1899744        1001           0              2   193   186  
1.83/1.94	c 7006           12515          2718014        2210489        1001           0              1   53   50    
1.93/2.04	c 7798           13538          2839119        2238916        1001           0              69   232   224 
2.14/2.21	c 8669           15074          3159215        2599701        1001           0              1   50   46    
2.34/2.41	c 9627           16412          3480963        2709694        1001           0              71   286   257 
2.74/2.84	c 10680          18289          3993827        3187765        1001           0              15   128   123 
3.25/3.38	c 11838          20452          4651886        3742098        1001           0              2   224   219  
3.54/3.67	c 13111          22701          5129211        4286523        1001           0              15   53   49   
4.24/4.33	c 14511          25147          5911452        4907133        1001           0              54   137   131 
4.54/4.67	c 16051          27851          6479510        5556467        1001           0              15   50   47   
5.44/5.53	c 17745          30820          7458950        6337602        1001           0              54   89   86   
5.84/5.94	c 19608          34043          8138714        7127066        1001           0              15   50   46   
6.54/6.63	c 21657          37433          8917804        7986402        1001           0              54   86   83   
7.54/7.63	c 23910          41240          10068960       9025773        1001           0              2   86   82    
8.14/8.20	c 26388          45439          10982293       10066503       1001           0              2   47   44    
8.64/8.73	c 29113          50000          11949424       11190080       1001           0              1   47   43    
9.24/9.32	c 32110          55049          13019474       12440325       1001           0              15   47   44   
9.94/10.09	c 35406          60680          14254859       13868802       1001           0              2   47   43    
10.74/10.86	c 39031          66744          15555257       15410607       1001           0              15   47   43   
11.54/11.67	c 43018          73539          16992345       17101516       1001           0              2   47   43    
12.54/12.68	c 47403          80865          18616884       18996437       1001           0              2   47   43    
13.64/13.70	c 52226          89286          20373481       21111498       1001           0              38   47   43   
14.74/14.84	c 57531          98286          22288792       23422852       1001           0              2   47   43    
16.14/16.25	c 63366          108254         24491742       26026962       1001           0              15   47   43   
17.44/17.59	c 69784          118949         26777550       28800045       1001           0              15   47   42   
19.04/19.12	c 76843          130564         29310735       31835565       1001           0              2   47   42    
20.64/20.75	c 84607          143224         32018829       35217210       1001           0              15   47   41   
22.54/22.65	c 93147          157242         35108236       38903836       1001           0              15   47   41   
24.54/24.65	c 102541         172624         38424273       42963088       1001           0              36   47   42   
26.84/26.97	c 112874         189575         42172974       47452670       1001           0              2   47   42    
29.44/29.52	c 124240         209118         46305192       52432266       1001           0              2   47   41    
32.34/32.42	c 136742         229854         50821527       57947708       1001           0              2   47   41    
35.44/35.54	c 150494         253019         55802088       63921430       1001           0              2   47   41    
39.24/39.30	c 165621         278351         61505793       70666137       1001           0              2   47   41    
42.95/43.09	c 182260         306352         67529745       77942363       1001           0              2   47   41    
47.14/47.23	c 200562         337350         74252919       85999731       1001           0              2   47   41    
51.84/51.90	c 220694         370727         81536143       94866929       1001           0              36   47   41   
57.15/57.28	c 242839         408707         89796308       104734621      1001           0              15   47   41   
62.94/63.06	c 267198         450208         98777577       115675025      1001           0              15   47   41   
69.54/69.63	c 293992         496239         108843787      127624359      1001           0              2   47   41    
76.84/76.95	c 323465         547505         119903589      140889100      1001           0              36   47   41   
84.34/84.44	c 355885         599698         131827275      154852347      1001           0              2   47   39    
92.04/92.12	c 391547         656639         144619986      170136081      1001           0              2   45   39    
101.84/101.94	c 430775         723794         159618685      187711008      1001           0              2   47   41    
110.44/110.54	c 473925         790765         174778495      205559843      1001           0              32   47   38   
120.14/120.22	c 521390         864113         191744330      225380105      1001           0              2   43   37    
131.55/131.67	c 573601         951577         211223825      248342390      1001           0              2   47   41    
141.75/141.85	c 631033         1041369        231712362      272038584      1001           0              2   45   38    
154.06/154.19	c 694208         1140960        254937724      298548569      1001           0              2   47   38    
166.25/166.30	c 763700         1247467        279385327      326951125      1001           0              18   45   38   
178.65/178.75	c 840141         1359308        305902781      357459809      1001           0              15   41   36   
192.56/192.62	c 924226         1486126        334868446      391831833      1001           0              2   47   36    
208.76/208.84	c 1016719        1625186        367966181      429213535      1001           0              2   41   36    
227.06/227.16	c 1118461        1783286        404669487      471684950      1001           0              32   47   38   
247.76/247.86	c 1230377        1949650        445033535      516595494      1001           0              2   47   36    
270.67/270.74	c 1353484        2141333        489310846      568165458      1001           0              32   47   38   
294.06/294.14	c 1488901        2337149        537350737      621644491      1001           0              2   47   35    
318.17/318.25	c 1637859        2551931        588988796      681216549      1001           0              2   39   35    
348.67/348.76	c 1801712        2807685        648695540      749176735      1001           0              2   47   38    
376.77/376.81	c 1981950        3074131        712386296      805283570      1001           0              29   40   35   
410.17/410.28	c 2180211        3385488        783502481      872560813      1001           0              31   42   37   
449.48/449.57	c 2398298        3704407        862181040      960073122      1001           0              2   41   35    
492.68/492.78	c 2638193        4077383        948396765      1059353364     1001           0              2   47   38    
535.38/535.49	c 2902077        4448495        1040808912     1162531436     1001           0              2   39   34    
589.39/589.46	c 3192349        4907409        1146034103     1284060118     1001           0              31   47   38   
648.00/648.01	c 3511648        5386896        1261985833     1414512756     1001           0              2   47   36    
705.40/705.47	c 3862876        5903794        1385757875     1555183822     1001           0              15   41   36   
774.10/774.19	c 4249226        6475145        1525143031     1711355197     1001           0              2   43   36    
839.61/839.62	c 4674211        7079172        1672576318     1835744251     1001           0              27   38   33   
917.72/917.76	c 5141694        7777340        1837801937     2023428904     1001           0              2   45   36    
1012.13/1012.13	c 5655925        8593931        2032080926     2200035516     1001           0              29   48   36   
1107.93/1107.93	c 6221579        9410713        2234709210     2424068542     1001           0              2   47   34    
1207.54/1207.50	c 6843798        10303899       2452323377     2669183207     1001           0              2   28   21    
1304.85/1304.83	c 7528238        11256865       2693297623     2872314333     1001           0              25   36   31   
1433.36/1433.37	c 8281122        12344778       2961979384     3172170851     1001           0              2   26   21    
1564.77/1564.70	c 9109294        13549761       3253910090     3500309828     1001           0              2   26   21    
1716.58/1716.53	c 10020283       14880704       3586699937     3793494407     1001           0              13   25   20   
1885.40/1885.36	c 11022370       16443522       3949845357     4128441695     1001           0              15   34   24   
2065.71/2065.60	c 12124665       18043311       4348120681     4483897512     1001           0              13   25   20   
2306.44/2306.31	c 13337189       19989452       4804139632     4997017149     1001           0              2   34   25    
2508.05/2507.93	c 14670965       21928098       5273393280     5422694794     1001           0              13   25   21   
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 101         
2520.06/2519.90	c conflicts             : 14749691     (5853 /sec)
2520.06/2519.90	c decisions             : 22038643     (8745 /sec)
2520.06/2519.90	c propagations          : 5453021079  (2163862 /sec)
2520.06/2519.90	c root propagations     : 6760        
2520.06/2519.90	c filter calls          : 5300691984     (2103415 /sec)
2520.06/2519.90	c useless filter calls  : 5219700868     (98 %)
2520.06/2519.90	c Memory used           : 39.51 MB
2520.06/2519.90	c CPU time              : 2520.04 s
2520.06/2519.90	
2520.06/2519.90	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-4268340-1502544209/watcher-4268340-1502544209 -o /tmp/evaluation-result-4268340-1502544209/solver-4268340-1502544209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22047 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268340-1502544209.xml 

pid=31153
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.00 2.01 2.05 2/180 31156
/proc/meminfo: memFree=31050380/32770624 swapFree=0/525556
[pid=31156] ppid=31153 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31156/stat : 31156 (runsolver) D 31153 31156 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56641644 24240128 106 18446744073709551615 4194304 4338465 140734750423344 140734750420984 139658330677975 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16510976 140734750429377 140734750429769 140734750429769 140734750433226 0
/proc/31156/statm: 5918 106 53 36 0 2156 0

[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31156
/proc/meminfo: memFree=31050380/32770624 swapFree=0/525556
[pid=31156] ppid=31153 vsize=38320 CPUtime=0.03 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 3933 0 0 0 3 0 0 0 20 0 1 0 56641644 39239680 3743 18446744073709551615 4194304 5972588 140723549651424 140723549648072 4935613 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 9580 3743 810 435 0 2943 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 38320

[startup+0.200363 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31156
/proc/meminfo: memFree=31050380/32770624 swapFree=0/525556
[pid=31156] ppid=31153 vsize=38992 CPUtime=0.13 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 4077 0 0 0 13 0 0 0 20 0 1 0 56641644 39927808 3875 18446744073709551615 4194304 5972588 140723549651424 140723549648072 4975784 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 9748 3875 845 435 0 3111 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 38992

[startup+0.300337 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31156
/proc/meminfo: memFree=31050380/32770624 swapFree=0/525556
[pid=31156] ppid=31153 vsize=40048 CPUtime=0.23 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 4345 0 0 0 23 0 0 0 20 0 1 0 56641644 41009152 4139 18446744073709551615 4194304 5972588 140723549651424 140723549648072 5032431 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10012 4139 845 435 0 3375 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 40048

[startup+0.700289 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31156
/proc/meminfo: memFree=31050380/32770624 swapFree=0/525556
[pid=31156] ppid=31153 vsize=40048 CPUtime=0.63 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 4345 0 0 0 63 0 0 0 20 0 1 0 56641644 41009152 4139 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4979392 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10012 4139 845 435 0 3375 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 40048

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31157
/proc/meminfo: memFree=31037372/32770624 swapFree=0/525576
[pid=31156] ppid=31153 vsize=40048 CPUtime=1.43 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 4357 0 0 0 143 0 0 0 20 0 1 0 56641644 41009152 4139 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10012 4139 845 435 0 3375 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 40048

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31157
/proc/meminfo: memFree=31037372/32770624 swapFree=0/525576
[pid=31156] ppid=31153 vsize=40456 CPUtime=3.04 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 7673 0 0 0 303 1 0 0 20 0 1 0 56641644 41426944 4270 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4270 845 435 0 3477 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 40456

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31157
/proc/meminfo: memFree=31036660/32770624 swapFree=0/525576
[pid=31156] ppid=31153 vsize=40456 CPUtime=6.24 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 10958 0 0 0 623 1 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4931680 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 40456

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31157
/proc/meminfo: memFree=31036164/32770624 swapFree=0/525580
[pid=31156] ppid=31153 vsize=40456 CPUtime=12.64 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 14233 0 0 0 1263 1 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4931727 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 40456

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31158
/proc/meminfo: memFree=31036288/32770624 swapFree=0/525580
[pid=31156] ppid=31153 vsize=40456 CPUtime=25.44 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 20739 0 0 0 2543 1 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5328036 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40456

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31173
/proc/meminfo: memFree=31031996/32770624 swapFree=0/525568
[pid=31156] ppid=31153 vsize=40456 CPUtime=51.04 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 23996 0 0 0 5103 1 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 40456

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31175
/proc/meminfo: memFree=31032244/32770624 swapFree=0/525588
[pid=31156] ppid=31153 vsize=40456 CPUtime=102.25 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 27258 0 0 0 10224 1 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5109313 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40456

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31177
/proc/meminfo: memFree=31035088/32770624 swapFree=0/525596
[pid=31156] ppid=31153 vsize=40456 CPUtime=162.25 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 30214 0 0 0 16223 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5032450 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40456

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31179
/proc/meminfo: memFree=31035584/32770624 swapFree=0/525592
[pid=31156] ppid=31153 vsize=40456 CPUtime=222.26 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 30967 0 0 0 22224 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4971912 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 40456

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31181
/proc/meminfo: memFree=31035588/32770624 swapFree=0/525612
[pid=31156] ppid=31153 vsize=40456 CPUtime=282.26 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 30968 0 0 0 28224 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5032455 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 40456

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31183
/proc/meminfo: memFree=31036100/32770624 swapFree=0/525608
[pid=31156] ppid=31153 vsize=40456 CPUtime=342.27 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 31694 0 0 0 34225 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4979352 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 40456

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31185
/proc/meminfo: memFree=31035864/32770624 swapFree=0/525608
[pid=31156] ppid=31153 vsize=40456 CPUtime=402.27 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 31714 0 0 0 40225 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4975303 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 40456

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31187
/proc/meminfo: memFree=31035492/32770624 swapFree=0/525608
[pid=31156] ppid=31153 vsize=40456 CPUtime=462.28 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 32441 0 0 0 46226 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4977685 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 40456

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31189
/proc/meminfo: memFree=31035988/32770624 swapFree=0/525612
[pid=31156] ppid=31153 vsize=40456 CPUtime=522.28 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 32450 0 0 0 52226 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4931761 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 40456

[startup+582.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 31251
/proc/meminfo: memFree=31195576/32770624 swapFree=0/525616
[pid=31156] ppid=31153 vsize=40456 CPUtime=582.29 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 33137 0 0 0 58227 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4975216 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 40456


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


[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 31317
/proc/meminfo: memFree=31194144/32770624 swapFree=0/525744
[pid=31156] ppid=31153 vsize=40456 CPUtime=1662.38 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 39725 0 0 0 166236 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4978768 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 40456

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 31319
/proc/meminfo: memFree=31194024/32770624 swapFree=0/525748
[pid=31156] ppid=31153 vsize=40456 CPUtime=1722.38 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 39767 0 0 0 172236 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5032431 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 40456

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31321
/proc/meminfo: memFree=31193508/32770624 swapFree=0/525760
[pid=31156] ppid=31153 vsize=40456 CPUtime=1782.39 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 40458 0 0 0 178237 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4971939 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 40456

[startup+1842.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/184 31337
/proc/meminfo: memFree=31188804/32770624 swapFree=0/525788
[pid=31156] ppid=31153 vsize=40456 CPUtime=1842.39 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 40458 0 0 0 184237 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4977693 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 40456

[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 31339
/proc/meminfo: memFree=31188544/32770624 swapFree=0/525812
[pid=31156] ppid=31153 vsize=40456 CPUtime=1902.4 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 41185 0 0 0 190238 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4975584 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 40456

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 31341
/proc/meminfo: memFree=31192428/32770624 swapFree=0/525820
[pid=31156] ppid=31153 vsize=40456 CPUtime=1962.41 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 41188 0 0 0 196239 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5032400 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 40456

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31343
/proc/meminfo: memFree=31192560/32770624 swapFree=0/525828
[pid=31156] ppid=31153 vsize=40456 CPUtime=2022.41 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 41889 0 0 0 202239 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4935502 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 40456

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 31345
/proc/meminfo: memFree=31192808/32770624 swapFree=0/525828
[pid=31156] ppid=31153 vsize=40456 CPUtime=2082.42 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 41922 0 0 0 208240 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5328649 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 40456

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31347
/proc/meminfo: memFree=31193056/32770624 swapFree=0/525828
[pid=31156] ppid=31153 vsize=40456 CPUtime=2142.42 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 42609 0 0 0 214240 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099616 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 40456

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31349
/proc/meminfo: memFree=31192948/32770624 swapFree=0/525832
[pid=31156] ppid=31153 vsize=40456 CPUtime=2202.43 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 42609 0 0 0 220241 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4935502 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2202.43
Current children cumulated vsize (KiB) 40456

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31351
/proc/meminfo: memFree=31192824/32770624 swapFree=0/525840
[pid=31156] ppid=31153 vsize=40456 CPUtime=2262.43 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 43304 0 0 0 226241 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099616 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2262.43
Current children cumulated vsize (KiB) 40456

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 31353
/proc/meminfo: memFree=31192948/32770624 swapFree=0/525852
[pid=31156] ppid=31153 vsize=40456 CPUtime=2322.44 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 43329 0 0 0 232242 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 40456

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 31355
/proc/meminfo: memFree=31192700/32770624 swapFree=0/525860
[pid=31156] ppid=31153 vsize=40456 CPUtime=2382.44 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 44030 0 0 0 238242 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5325605 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 40456

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31372
/proc/meminfo: memFree=31187916/32770624 swapFree=0/525872
[pid=31156] ppid=31153 vsize=40456 CPUtime=2442.45 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 44030 0 0 0 244243 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5032427 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2442.45
Current children cumulated vsize (KiB) 40456

[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 31374
/proc/meminfo: memFree=31188392/32770624 swapFree=0/525896
[pid=31156] ppid=31153 vsize=40456 CPUtime=2502.45 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 44724 0 0 0 250243 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 5325655 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2502.45
Current children cumulated vsize (KiB) 40456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 31375
/proc/meminfo: memFree=31188492/32770624 swapFree=0/525904
[pid=31156] ppid=31153 vsize=40456 CPUtime=2520.06 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 44747 0 0 0 252004 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4972832 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 40456

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

[startup+2519.9 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 31375
/proc/meminfo: memFree=31188492/32770624 swapFree=0/525904
[pid=31156] ppid=31153 vsize=40456 CPUtime=2520.06 cores=0,2,4,6
/proc/31156/stat : 31156 (cosoco) R 31153 31156 21984 0 -1 4202496 44747 0 0 0 252004 2 0 0 20 0 1 0 56641644 41426944 4279 18446744073709551615 4194304 5972588 140723549651424 140723549648728 4972832 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 21123072 140723549659630 140723549659725 140723549659725 140723549663182 0
/proc/31156/statm: 10114 4279 845 435 0 3477 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 40456

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.04
CPU system time (s): 0.028002
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 40456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.028002
maximum resident set size= 17184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44786
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= 15
involuntary context switches= 1763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49881 second user time and 8.28011 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-12 15:09:24
IDJOB=4268340
IDBENCH=133909
IDSOLVER=2658
FILE ID=node125/4268340-1502544209
RUNJOBID= node125-1502500302-22047
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-26.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268340-1502544209/watcher-4268340-1502544209 -o /tmp/evaluation-result-4268340-1502544209/solver-4268340-1502544209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22047 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268340-1502544209.xml

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

MD5SUM BENCH= e7fb96dadee149724dd4cb9af2eae5d9
RANDOM SEED=1050112810

node125.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.07
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.07
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.07
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.07
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:        31050724 kB
MemAvailable:   31827356 kB
Buffers:          270580 kB
Cached:           796004 kB
SwapCached:            0 kB
Active:           746324 kB
Inactive:         550464 kB
Active(anon):     230540 kB
Inactive(anon):    24908 kB
Active(file):     515784 kB
Inactive(file):   525556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2336 kB
Writeback:             0 kB
AnonPages:        229528 kB
Mapped:            45888 kB
Shmem:             25252 kB
Slab:             127720 kB
SReclaimable:     102252 kB
SUnreclaim:        25468 kB
KernelStack:        3264 kB
PageTables:         5372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     492536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node125 at 2017-08-12 15:51:24