Trace number 4242336

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.03 2400.4

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.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 68 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.10	c intension hd[10]<ad[10]  using generic constraint 
0.00/0.10	c intension hd[11]<ad[11]  using generic constraint 
0.09/0.10	c intension hd[12]<ad[12]  using generic constraint 
0.09/0.10	c intension hd[13]<ad[13]  using generic constraint 
0.09/0.10	c intension hd[14]<ad[14]  using generic constraint 
0.09/0.10	c intension hd[15]<ad[15]  using generic constraint 
0.09/0.10	c intension hd[16]<ad[16]  using generic constraint 
0.09/0.19	c root propagations     : 13940       
0.09/0.19	c restarts enabled, print stats at every restarts
0.09/0.19	c
0.09/0.19	c
0.09/0.19	c
0.09/0.19	c This is cosoco 1.0 --  
0.09/0.19	c
0.09/0.19	c ========================================[ Problem Statistics ]===========================================
0.09/0.19	c |                                                                                                       
0.09/0.19	c |  Parse time        :         0.09 s 
0.09/0.19	c |
0.09/0.19	c |               Variables: 1717
0.09/0.19	c |            Domain Sizes: 34..561
0.09/0.19	c |
0.09/0.19	c |             Constraints: 2397
0.09/0.19	c |                   Arity: 1..561  -- Unary: 17  -- Binary: 17  -- Ternary: 561
0.09/0.19	c | 
0.09/0.19	c |                   Types: 
0.09/0.19	c |                          (X - Y < k): 17
0.09/0.19	c |                          All Different: 35
0.09/0.19	c |                          At least: 578
0.09/0.19	c |                          At most: 578
0.09/0.19	c |                          Exactly K: 611
0.09/0.19	c |                          Extension: 561  (nb tuples: 561..561) -- (shared: 560)
0.09/0.19	c |                          Intension: 17
0.09/0.19	c |                          
0.09/0.19	c =========================================================================================================
0.09/0.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.19/0.24	c 101            292            182962         43369          1717           0              96   192   112 
0.39/0.40	c 211            678            301169         163409         1717           0              54   192   186 
0.49/0.55	c 332            1119           497204         295422         1717           0              65   240   232 
0.59/0.67	c 465            1541           679011         421918         1717           0              19   204   197 
0.69/0.74	c 611            1822           737646         442802         1717           0              79   136   130 
0.89/0.99	c 771            2309           911138         607429         1717           0              1   193   186  
0.99/1.09	c 947            2692           1002907        644379         1717           0              64   208   168 
1.20/1.23	c 1140           3176           1165645        803718         1717           0              1   163   156  
1.39/1.49	c 1352           3731           1404558        992229         1717           0              20   247   231 
1.59/1.62	c 1585           4224           1570251        1167218        1717           0              20   78   75   
1.69/1.78	c 1841           4741           1794412        1223798        1717           0              78   262   251 
1.89/1.91	c 2122           5307           1968551        1434398        1717           0              1   72   69    
1.99/2.09	c 2431           5883           2193273        1491537        1717           0              72   268   258 
2.19/2.25	c 2770           6559           2399573        1746622        1717           0              1   75   72    
2.29/2.38	c 3142           7168           2522467        1790728        1717           0              27   238   216 
2.58/2.60	c 3551           7945           2757128        2096574        1717           0              1   78   74    
2.68/2.74	c 4000           8601           2877316        2134985        1717           0              99   208   204 
2.88/2.91	c 4493           9334           3057216        2183896        1717           0              1   241   219  
3.08/3.15	c 5035           10330          3362022        2579859        1717           0              1   87   83    
3.29/3.32	c 5631           11169          3529035        2629927        1717           0              39   244   222 
3.58/3.60	c 6286           12303          3872871        3088435        1717           0              1   93   89    
3.68/3.77	c 7006           13263          4000770        3134108        1717           0              78   241   227 
4.08/4.11	c 7798           14650          4413526        3693335        1717           0              1   84   80    
4.29/4.34	c 8669           15800          4662692        3751050        1717           0              30   280   258 
4.69/4.79	c 9627           17538          5158011        4465624        1717           0              1   84   81    
4.99/5.06	c 10680          18900          5428916        4530135        1717           0              75   310   272 
5.50/5.60	c 11838          20909          6025649        5380332        1717           0              1   87   83    
5.89/5.90	c 13111          22497          6304515        5455832        1717           0              73   316   303 
6.39/6.42	c 14511          24982          6991534        6472581        1717           0              1   66   62    
7.39/7.46	c 16051          27756          7896969        7667321        1717           0              73   265   261 
8.39/8.40	c 17745          30554          8721293        8678214        1717           0              22   231   226 
8.99/9.01	c 19608          33858          9603196        10013365       1717           0              1   66   63    
10.99/11.01	c 21657          37454          11014444       11604518       1717           0              70   144   140 
11.68/11.78	c 23910          41341          12092342       13226250       1717           0              25   69   66   
13.78/13.80	c 26388          45582          13396679       15110822       1717           0              70   114   111 
16.28/16.36	c 29113          50204          15459189       17231357       1717           0              2   114   110  
17.38/17.46	c 32110          55351          16879134       19373151       1717           0              2   63   60    
18.48/18.60	c 35406          60907          18435779       21726637       1717           0              2   63   60    
19.68/19.75	c 39031          67123          20138910       24334125       1717           0              19   63   60   
21.08/21.13	c 43018          73857          22000287       27201819       1717           0              2   63   59    
22.78/22.82	c 47403          81395          24136086       30408776       1717           0              2   63   59    
24.38/24.41	c 52226          89747          26415496       33930989       1717           0              54   63   60   
26.18/26.26	c 57531          98797          28940416       37837826       1717           0              19   63   59   
28.38/28.48	c 63366          108900         31790285       42191924       1717           0              19   63   59   
30.58/30.62	c 69784          119869         34781474       46914452       1717           0              2   63   59    
32.68/32.76	c 76843          131590         37956024       52035601       1717           0              53   63   59   
35.98/36.02	c 84607          145042         41812827       57943415       1717           0              19   63   59   
38.78/38.89	c 93147          159220         45723981       64178967       1717           0              2   63   58    
42.08/42.11	c 102541         174785         50028154       71105309       1717           0              2   63   58    
45.77/45.89	c 112874         191859         54831642       78815407       1717           0              2   63   58    
49.97/50.01	c 124240         210615         60183859       87232445       1717           0              19   63   58   
54.47/54.51	c 136742         231521         65971032       96558951       1717           0              19   63   58   
59.77/59.82	c 150494         254355         72514033       106892201      1717           0              2   63   58    
65.27/65.38	c 165621         279330         79481926       118110553      1717           0              19   63   58   
71.37/71.45	c 182260         306657         87178622       130382513      1717           0              19   63   57   
78.57/78.63	c 200562         336750         95828038       144051107      1717           0              2   63   57    
86.07/86.12	c 220694         370763         105269906      159275358      1717           0              2   63   57    
95.07/95.15	c 242839         407527         115960153      175782391      1717           0              52   63   57   
104.37/104.41	c 267198         447884         127327574      194230463      1717           0              19   63   57   
114.37/114.42	c 293992         492774         140147251      214106100      1717           0              2   63   58    
125.56/125.60	c 323465         542517         154012546      236293878      1717           0              19   63   57   
139.56/139.60	c 355885         597038         169652065      260702160      1717           0              2   63   57    
154.66/154.76	c 391547         657618         187183740      287770807      1717           0              19   63   57   
170.95/171.03	c 430775         724253         206110246      317645238      1717           0              19   63   57   
187.75/187.83	c 473925         796930         226438250      350148518      1717           0              2   63   57    
208.45/208.51	c 521390         877889         249914701      385948692      1717           0              2   63   57    
229.55/229.62	c 573601         966261         274810870      425885488      1717           0              2   63   57    
253.24/253.30	c 631033         1063541        302138300      469367859      1717           0              2   63   57    
278.64/278.70	c 694208         1170353        332711914      517108385      1717           0              19   63   57   
306.84/306.95	c 763700         1286246        365871380      569434216      1717           0              2   63   56    
337.43/337.56	c 840141         1416742        402510570      627166861      1717           0              2   63   58    
372.42/372.56	c 924226         1559372        443903013      691180322      1717           0              2   63   57    
411.32/411.46	c 1016719        1717295        488720775      761623645      1717           0              19   63   57   
451.41/451.54	c 1118461        1890850        537845475      838009073      1717           0              2   63   57    
496.70/496.82	c 1230377        2075656        591794666      921036544      1717           0              19   63   56   
549.90/550.06	c 1353484        2295092        652196809      1002923458     1717           0              50   64   57   
601.49/601.60	c 1488901        2518802        715564796      1104218471     1717           0              2   63   56    
662.88/663.04	c 1637859        2764303        788284983      1214805990     1717           0              50   63   56   
714.77/714.91	c 1801712        3014879        863233016      1329819243     1717           0              2   61   54    
774.27/774.49	c 1981950        3296918        946262606      1458234228     1717           0              2   63   54    
857.05/857.26	c 2180211        3625749        1044190827     1606324472     1717           0              2   63   56    
930.34/930.50	c 2398298        3965486        1145390027     1761340185     1717           0              19   63   54   
1026.13/1026.31	c 2638193        4366054        1261658426     1939295418     1717           0              49   63   56   
1124.81/1125.03	c 2902077        4782128        1388012340     2130768414     1717           0              19   63   54   
1222.90/1223.15	c 3192349        5236198        1522915934     2337239820     1717           0              19   63   54   
1334.98/1335.28	c 3511648        5732901        1672949233     2565971234     1717           0              2   63   54    
1469.66/1469.90	c 3862876        6298421        1843254192     2822046454     1717           0              2   63   54    
1602.14/1602.47	c 4249226        6915996        2029570570     3057709122     1717           0              46   64   53   
1766.91/1767.26	c 4674211        7589749        2237504026     3365414211     1717           0              47   63   54   
1954.28/1954.64	c 5141694        8374168        2464042450     3711616352     1717           0              49   63   56   
2141.75/2142.15	c 5655925        9194847        2714065522     4022620703     1717           0              46   63   53   
2354.52/2354.95	c 6221579        10118456       2995161802     4438025898     1717           0              47   63   54

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242336-1500662584/watcher-4242336-1500662584 -o /tmp/evaluation-result-4242336-1500662584/solver-4242336-1500662584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500648174-9864 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242336-1500662584.xml 

pid=11266
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/237 11269
/proc/meminfo: memFree=32045968/32770624 swapFree=5872/191240
[pid=11269] ppid=11266 vsize=27652 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 1123 0 0 0 0 0 0 0 20 0 1 0 1525216 28315648 907 33554432000 4194304 5970956 140736644104784 140736644101432 139705404173285 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 6913 907 703 434 0 277 0

[startup+0.100118 s]
/proc/loadavg: 2.00 2.01 2.05 2/237 11269
/proc/meminfo: memFree=32045968/32770624 swapFree=5872/191240
[pid=11269] ppid=11266 vsize=50720 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 6998 0 0 0 8 1 0 0 20 0 1 0 1525216 51937280 6830 33554432000 4194304 5970956 140736644104784 140736644098360 139705404221344 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 12680 6830 806 434 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50720

[startup+0.200324 s]
/proc/loadavg: 2.00 2.01 2.05 2/237 11269
/proc/meminfo: memFree=32045968/32770624 swapFree=5872/191240
[pid=11269] ppid=11266 vsize=57320 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 8689 0 0 0 17 2 0 0 20 0 1 0 1525216 58695680 8480 33554432000 4194304 5970956 140736644104784 140736644102392 4974403 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 14330 8480 808 434 0 7694 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 57320

[startup+0.300291 s]
/proc/loadavg: 2.00 2.01 2.05 2/237 11269
/proc/meminfo: memFree=32045968/32770624 swapFree=5872/191240
[pid=11269] ppid=11266 vsize=59036 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 9094 0 0 0 27 2 0 0 20 0 1 0 1525216 60452864 8876 33554432000 4194304 5970956 140736644104784 140736644101592 139705404173285 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 14759 8876 848 434 0 8123 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59036

[startup+0.700203 s]
/proc/loadavg: 2.00 2.01 2.05 2/237 11269
/proc/meminfo: memFree=32045968/32770624 swapFree=5872/191240
[pid=11269] ppid=11266 vsize=59700 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 9264 0 0 0 67 2 0 0 20 0 1 0 1525216 61132800 9074 33554432000 4194304 5970956 140736644104784 140736644102120 5327993 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 14925 9074 848 434 0 8289 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59700

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32008672/32770624 swapFree=5872/191376
[pid=11269] ppid=11266 vsize=60024 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 9367 0 0 0 147 2 0 0 20 0 1 0 1525216 61464576 9206 33554432000 4194304 5970956 140736644104784 140736644102120 4974240 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15006 9206 848 434 0 8370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60024

[startup+3.10019 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32006848/32770624 swapFree=5872/191260
[pid=11269] ppid=11266 vsize=60420 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 17087 0 0 0 306 2 0 0 20 0 1 0 1525216 61870080 9277 33554432000 4194304 5970956 140736644104784 140736644102120 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15105 9277 848 434 0 8469 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 60420

[startup+6.30019 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32006288/32770624 swapFree=5872/191308
[pid=11269] ppid=11266 vsize=60912 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 24907 0 0 0 626 3 0 0 20 0 1 0 1525216 62373888 9377 33554432000 4194304 5970956 140736644104784 140736644102120 4978093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9377 848 434 0 8592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60912

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32004148/32770624 swapFree=5872/191312
[pid=11269] ppid=11266 vsize=60912 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 29073 0 0 0 1265 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4978392 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60912

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32002832/32770624 swapFree=5872/191320
[pid=11269] ppid=11266 vsize=60912 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 33839 0 0 0 2545 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4971765 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60912

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11285
/proc/meminfo: memFree=32003620/32770624 swapFree=5872/191356
[pid=11269] ppid=11266 vsize=60912 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 34643 0 0 0 5104 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4977138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60912

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11286
/proc/meminfo: memFree=32004628/32770624 swapFree=5872/191436
[pid=11269] ppid=11266 vsize=60912 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 35407 0 0 0 10224 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5337492 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60912

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 11287
/proc/meminfo: memFree=32004704/32770624 swapFree=5872/191512
[pid=11269] ppid=11266 vsize=60912 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 36131 0 0 0 16223 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5031440 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 60912

[startup+222.308 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11288
/proc/meminfo: memFree=32005200/32770624 swapFree=5872/191564
[pid=11269] ppid=11266 vsize=60912 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 36848 0 0 0 22222 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 60912

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11289
/proc/meminfo: memFree=32005520/32770624 swapFree=5872/191608
[pid=11269] ppid=11266 vsize=60912 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 37548 0 0 0 28221 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4908315 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 60912

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11290
/proc/meminfo: memFree=32005740/32770624 swapFree=5872/191644
[pid=11269] ppid=11266 vsize=60912 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 38251 0 0 0 34220 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 60912

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11291
/proc/meminfo: memFree=32005516/32770624 swapFree=5872/191700
[pid=11269] ppid=11266 vsize=60912 CPUtime=402.22 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 38940 0 0 0 40219 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 60912

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11300
/proc/meminfo: memFree=32004868/32770624 swapFree=5872/191772
[pid=11269] ppid=11266 vsize=60912 CPUtime=462.21 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 39621 0 0 0 46218 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4976725 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60912

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11301
/proc/meminfo: memFree=32005356/32770624 swapFree=5872/191808
[pid=11269] ppid=11266 vsize=60912 CPUtime=522.2 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 40292 0 0 0 52217 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5031440 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 60912

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11302
/proc/meminfo: memFree=32005420/32770624 swapFree=5872/191848
[pid=11269] ppid=11266 vsize=60912 CPUtime=582.19 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 40965 0 0 0 58216 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4934272 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 60912


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11348
/proc/meminfo: memFree=32001304/32770624 swapFree=5872/192420
[pid=11269] ppid=11266 vsize=60912 CPUtime=1482.06 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 50938 0 0 0 148203 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4977111 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 60912

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11349
/proc/meminfo: memFree=32002120/32770624 swapFree=5872/192452
[pid=11269] ppid=11266 vsize=60912 CPUtime=1542.06 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 51534 0 0 0 154203 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5327847 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 60912

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11350
/proc/meminfo: memFree=32002100/32770624 swapFree=5872/192480
[pid=11269] ppid=11266 vsize=60912 CPUtime=1602.04 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 52144 0 0 0 160201 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 60912

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/245 11360
/proc/meminfo: memFree=32002564/32770624 swapFree=5872/192528
[pid=11269] ppid=11266 vsize=60912 CPUtime=1662.03 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 52838 0 0 0 166200 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4976717 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 60912

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11361
/proc/meminfo: memFree=32002684/32770624 swapFree=5872/192552
[pid=11269] ppid=11266 vsize=60912 CPUtime=1722.02 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 53487 0 0 0 172199 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 60912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11362
/proc/meminfo: memFree=32002184/32770624 swapFree=5872/192584
[pid=11269] ppid=11266 vsize=60912 CPUtime=1782.01 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 54166 0 0 0 178198 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4978389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 60912

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11363
/proc/meminfo: memFree=32002544/32770624 swapFree=5872/192620
[pid=11269] ppid=11266 vsize=60912 CPUtime=1842 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 54763 0 0 0 184197 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 60912

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11364
/proc/meminfo: memFree=32001472/32770624 swapFree=5872/192644
[pid=11269] ppid=11266 vsize=60912 CPUtime=1901.99 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 55360 0 0 0 190196 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 60912

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=32001180/32770624 swapFree=5872/192680
[pid=11269] ppid=11266 vsize=60912 CPUtime=1961.98 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 56015 0 0 0 196195 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 60912

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11366
/proc/meminfo: memFree=32002020/32770624 swapFree=5872/192720
[pid=11269] ppid=11266 vsize=60912 CPUtime=2021.97 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 56655 0 0 0 202194 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4977754 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2021.97
Current children cumulated vsize (KiB) 60912

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11367
/proc/meminfo: memFree=32002100/32770624 swapFree=5872/192744
[pid=11269] ppid=11266 vsize=60912 CPUtime=2081.97 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 57279 0 0 0 208194 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4969752 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 60912

[startup+2142.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 11368
/proc/meminfo: memFree=32002316/32770624 swapFree=5872/192776
[pid=11269] ppid=11266 vsize=60912 CPUtime=2141.95 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 57963 0 0 0 214192 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 60912

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 11369
/proc/meminfo: memFree=32002428/32770624 swapFree=5872/192808
[pid=11269] ppid=11266 vsize=60912 CPUtime=2201.95 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 58606 0 0 0 220192 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 60912

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11377
/proc/meminfo: memFree=32001248/32770624 swapFree=5872/192848
[pid=11269] ppid=11266 vsize=60912 CPUtime=2261.94 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 59241 0 0 0 226191 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 60912

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11378
/proc/meminfo: memFree=32002216/32770624 swapFree=5872/192876
[pid=11269] ppid=11266 vsize=60912 CPUtime=2321.93 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 59865 0 0 0 232190 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 60912

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11379
/proc/meminfo: memFree=32001760/32770624 swapFree=5872/192908
[pid=11269] ppid=11266 vsize=60912 CPUtime=2381.92 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 60552 0 0 0 238189 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 60912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11379
/proc/meminfo: memFree=32001884/32770624 swapFree=5872/192916
[pid=11269] ppid=11266 vsize=60912 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/11269/stat : 11269 (cosoco) R 11266 11269 9833 0 -1 4202496 61183 0 0 0 239999 3 0 0 20 0 1 0 1525216 62373888 9400 33554432000 4194304 5970956 140736644104784 140736644102120 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27635712 140736644109505 140736644109635 140736644109635 140736644112334 0
/proc/11269/statm: 15228 9400 848 434 0 8592 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 60912

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2399.99
CPU system time (s): 0.038994
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 60912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.038994
maximum resident set size= 37644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61211
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= 25
involuntary context switches= 120628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07533 second user time and 11.2675 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 1b92d79ba6653e54d61f1abcadddddde
RANDOM SEED=1954809878

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32043492 kB
MemAvailable:   32033404 kB
Buffers:           32620 kB
Cached:           267684 kB
SwapCached:            0 kB
Active:           154708 kB
Inactive:         199976 kB
Active(anon):      57116 kB
Inactive(anon):     8736 kB
Active(file):      97592 kB
Inactive(file):   191240 kB
Unevictable:        5872 kB
Mlocked:            5904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2436 kB
Writeback:             0 kB
AnonPages:         59392 kB
Mapped:            29292 kB
Shmem:              8852 kB
Slab:              65248 kB
SReclaimable:      33832 kB
SUnreclaim:        31416 kB
KernelStack:        4240 kB
PageTables:         4920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

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