Trace number 4242324

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.04 2400.6

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.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.03	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.03	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.06	c
0.00/0.06	c intension hd[0]<ad[0]  using generic constraint 
0.00/0.06	c intension hd[1]<ad[1]  using generic constraint 
0.00/0.06	c intension hd[2]<ad[2]  using generic constraint 
0.00/0.06	c intension hd[3]<ad[3]  using generic constraint 
0.00/0.06	c intension hd[4]<ad[4]  using generic constraint 
0.00/0.06	c intension hd[5]<ad[5]  using generic constraint 
0.00/0.06	c intension hd[6]<ad[6]  using generic constraint 
0.00/0.06	c intension hd[7]<ad[7]  using generic constraint 
0.00/0.06	c intension hd[8]<ad[8]  using generic constraint 
0.00/0.06	c intension hd[9]<ad[9]  using generic constraint 
0.00/0.06	c intension hd[10]<ad[10]  using generic constraint 
0.00/0.06	c intension hd[11]<ad[11]  using generic constraint 
0.00/0.06	c intension hd[12]<ad[12]  using generic constraint 
0.00/0.09	c root propagations     : 6760        
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.0 --  
0.00/0.09	c
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.05 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 1001
0.00/0.09	c |            Domain Sizes: 26..325
0.00/0.09	c |
0.00/0.09	c |             Constraints: 1417
0.00/0.09	c |                   Arity: 1..325  -- Unary: 13  -- Binary: 13  -- Ternary: 325
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          (X - Y < k): 13
0.00/0.09	c |                          All Different: 27
0.00/0.09	c |                          At least: 338
0.00/0.09	c |                          At most: 338
0.00/0.09	c |                          Exactly K: 363
0.00/0.09	c |                          Extension: 325  (nb tuples: 325..325) -- (shared: 324)
0.00/0.09	c |                          Intension: 13
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.13	c 101            275            109913         49701          1001           0              76   144   121 
0.09/0.17	c 211            531            166017         104548         1001           0              53   94   89   
0.09/0.19	c 332            791            225328         162617         1001           0              39   88   83   
0.19/0.26	c 465            1209           339145         211376         1001           0              214   268   261
0.29/0.30	c 611            1532           409899         281363         1001           0              1   50   47    
0.29/0.34	c 771            1855           482166         353126         1001           0              18   50   47   
0.39/0.43	c 947            2270           585397         439989         1001           0              83   142   134 
0.39/0.48	c 1140           2669           673933         527089         1001           0              18   53   50   
0.59/0.60	c 1352           3162           814741         639434         1001           0              18   130   126 
0.59/0.65	c 1585           3612           914308         741134         1001           0              2   53   50    
0.69/0.78	c 1841           4162           1058812        868610         1001           0              18   118   114 
0.79/0.85	c 2122           4690           1177776        994236         1001           0              15   53   49   
0.99/1.00	c 2431           5317           1352938        1148847        1001           0              54   89   86   
0.99/1.07	c 2770           5949           1488034        1295267        1001           0              15   50   47   
1.10/1.12	c 3142           6459           1556870        1311314        1001           0              54   139   134 
1.10/1.16	c 3551           7012           1606748        1326970        1001           0              1   145   140  
1.20/1.22	c 4000           7611           1679965        1344418        1001           0              1   151   148  
1.20/1.29	c 4493           8290           1787285        1366409        1001           0              1   187   181  
1.39/1.40	c 5035           9229           1994743        1592557        1001           0              1   71   67    
1.59/1.66	c 5631           10376          2326547        1875168        1001           0              69   125   122 
1.69/1.74	c 6286           11223          2438049        1899744        1001           0              2   193   186  
1.89/1.91	c 7006           12515          2718014        2210489        1001           0              1   53   50    
1.99/2.00	c 7798           13538          2839119        2238916        1001           0              69   232   224 
2.09/2.17	c 8669           15074          3159215        2599701        1001           0              1   50   46    
2.30/2.37	c 9627           16412          3480963        2709694        1001           0              71   286   257 
2.69/2.79	c 10680          18289          3993827        3187765        1001           0              15   128   123 
3.30/3.32	c 11838          20452          4651886        3742098        1001           0              2   224   219  
3.59/3.61	c 13111          22701          5129211        4286523        1001           0              15   53   49   
4.19/4.26	c 14511          25147          5911452        4907133        1001           0              54   137   131 
4.50/4.59	c 16051          27851          6479510        5556467        1001           0              15   50   47   
5.39/5.44	c 17745          30820          7458950        6337602        1001           0              54   89   86   
5.79/5.85	c 19608          34043          8138714        7127066        1001           0              15   50   46   
6.49/6.52	c 21657          37433          8917804        7986402        1001           0              54   86   83   
7.49/7.50	c 23910          41240          10068960       9025773        1001           0              2   86   82    
7.99/8.07	c 26388          45439          10982293       10066503       1001           0              2   47   44    
8.59/8.60	c 29113          50000          11949424       11190080       1001           0              1   47   43    
9.09/9.18	c 32110          55049          13019474       12440325       1001           0              15   47   44   
9.89/9.94	c 35406          60680          14254859       13868802       1001           0              2   47   43    
10.69/10.71	c 39031          66744          15555257       15410607       1001           0              15   47   43   
11.49/11.52	c 43018          73539          16992345       17101516       1001           0              2   47   43    
12.49/12.52	c 47403          80865          18616884       18996437       1001           0              2   47   43    
13.48/13.53	c 52226          89286          20373481       21111498       1001           0              38   47   43   
14.58/14.66	c 57531          98286          22288792       23422852       1001           0              2   47   43    
15.98/16.06	c 63366          108254         24491742       26026962       1001           0              15   47   43   
17.28/17.38	c 69784          118949         26777550       28800045       1001           0              15   47   42   
18.88/18.91	c 76843          130564         29310735       31835565       1001           0              2   47   42    
20.48/20.52	c 84607          143224         32018829       35217210       1001           0              15   47   41   
22.38/22.41	c 93147          157242         35108236       38903836       1001           0              15   47   41   
24.38/24.40	c 102541         172624         38424273       42963088       1001           0              36   47   42   
26.58/26.69	c 112874         189575         42172974       47452670       1001           0              2   47   42    
29.18/29.22	c 124240         209118         46305192       52432266       1001           0              2   47   41    
31.98/32.09	c 136742         229854         50821527       57947708       1001           0              2   47   41    
34.77/34.86	c 150494         253019         55802088       63921430       1001           0              2   47   41    
38.17/38.22	c 165621         278351         61505793       70666137       1001           0              2   47   41    
41.47/41.58	c 182260         306352         67529745       77942363       1001           0              2   47   41    
45.18/45.25	c 200562         337350         74252919       85999731       1001           0              2   47   41    
49.37/49.41	c 220694         370727         81536143       94866929       1001           0              36   47   41   
54.07/54.18	c 242839         408707         89796308       104734621      1001           0              15   47   41   
59.27/59.32	c 267198         450208         98777577       115675025      1001           0              15   47   41   
65.06/65.16	c 293992         496239         108843787      127624359      1001           0              2   47   41    
71.57/71.69	c 323465         547505         119903589      140889100      1001           0              36   47   41   
78.26/78.37	c 355885         599698         131827275      154852347      1001           0              2   47   39    
85.06/85.16	c 391547         656639         144619986      170136081      1001           0              2   45   39    
93.86/93.93	c 430775         723794         159618685      187711008      1001           0              2   47   41    
101.46/101.52	c 473925         790765         174778495      205559843      1001           0              32   47   38   
110.25/110.31	c 521390         864113         191744330      225380105      1001           0              2   43   37    
121.45/121.51	c 573601         951577         211223825      248342390      1001           0              2   47   41    
131.66/131.71	c 631033         1041369        231712362      272038584      1001           0              2   45   38    
143.95/144.06	c 694208         1140960        254937724      298548569      1001           0              2   47   38    
156.05/156.19	c 763700         1247467        279385327      326951125      1001           0              18   45   38   
168.55/168.66	c 840141         1359308        305902781      357459809      1001           0              15   41   36   
182.45/182.58	c 924226         1486126        334868446      391831833      1001           0              2   47   36    
198.74/198.82	c 1016719        1625186        367966181      429213535      1001           0              2   41   36    
217.14/217.20	c 1118461        1783286        404669487      471684950      1001           0              32   47   38   
237.83/237.94	c 1230377        1949650        445033535      516595494      1001           0              2   47   36    
260.73/260.87	c 1353484        2141333        489310846      568165458      1001           0              32   47   38   
284.22/284.31	c 1488901        2337149        537350737      621644491      1001           0              2   47   35    
308.42/308.54	c 1637859        2551931        588988796      681216549      1001           0              2   39   35    
339.01/339.11	c 1801712        2807685        648695540      749176735      1001           0              2   47   38    
367.10/367.21	c 1981950        3074131        712386296      805283570      1001           0              29   40   35   
400.69/400.84	c 2180211        3385488        783502481      872560813      1001           0              31   42   37   
439.99/440.15	c 2398298        3704407        862181040      960073122      1001           0              2   41   35    
483.38/483.57	c 2638193        4077383        948396765      1059353364     1001           0              2   47   38    
526.27/526.40	c 2902077        4448495        1040808912     1162531436     1001           0              2   39   34    
580.25/580.49	c 3192349        4907409        1146034103     1284060118     1001           0              31   47   38   
638.84/639.07	c 3511648        5386896        1261985833     1414512756     1001           0              2   47   36    
696.42/696.68	c 3862876        5903794        1385757875     1555183822     1001           0              15   41   36   
765.31/765.51	c 4249226        6475145        1525143031     1711355197     1001           0              2   43   36    
830.89/831.19	c 4674211        7079172        1672576318     1835744251     1001           0              27   38   33   
909.07/909.39	c 5141694        7777340        1837801937     2023428904     1001           0              2   45   36    
1003.65/1003.90	c 5655925        8593931        2032080926     2200035516     1001           0              29   48   36   
1099.43/1099.80	c 6221579        9410713        2234709210     2424068542     1001           0              2   47   34    
1199.30/1199.65	c 6843798        10303899       2452323377     2669183207     1001           0              2   28   21    
1296.69/1297.03	c 7528238        11256865       2693297623     2872314333     1001           0              25   36   31   
1425.55/1425.99	c 8281122        12344778       2961979384     3172170851     1001           0              2   26   21    
1557.23/1557.63	c 9109294        13549761       3253910090     3500309828     1001           0              2   26   21    
1709.19/1709.66	c 10020283       14880704       3586699937     3793494407     1001           0              13   25   20   
1878.25/1878.80	c 11022370       16443522       3949845357     4128441695     1001           0              15   34   24   
2059.10/2059.64	c 12124665       18043311       4348120681     4483897512     1001           0              13   25   20   
2299.95/2300.53	c 13337189       19989452       4804139632     4997017149     1001           0              2   34   25

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

pid=4449
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.02 2.05 2/242 4452
/proc/meminfo: memFree=31984180/32770624 swapFree=5804/214020
[pid=4452] ppid=4449 vsize=28440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 1318 0 0 0 0 0 0 0 20 0 1 0 1452107 29122560 1102 33554432000 4194304 5970956 140724474850064 140724474845352 139892791413680 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 7110 1102 703 434 0 474 0

[startup+0.100157 s]
/proc/loadavg: 2.00 2.02 2.05 2/242 4452
/proc/meminfo: memFree=31984180/32770624 swapFree=5804/214020
[pid=4452] ppid=4449 vsize=38340 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 3937 0 0 0 8 1 0 0 20 0 1 0 1452107 39260160 3742 33554432000 4194304 5970956 140724474850064 140724474847320 4934350 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 9585 3742 813 434 0 2949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38340

[startup+0.200405 s]
/proc/loadavg: 2.00 2.02 2.05 2/242 4452
/proc/meminfo: memFree=31984180/32770624 swapFree=5804/214020
[pid=4452] ppid=4449 vsize=38868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 4079 0 0 0 18 1 0 0 20 0 1 0 1452107 39800832 3874 33554432000 4194304 5970956 140724474850064 140724474847400 4930648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 9717 3874 847 434 0 3081 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38868

[startup+0.300341 s]
/proc/loadavg: 2.00 2.02 2.05 2/242 4452
/proc/meminfo: memFree=31984180/32770624 swapFree=5804/214020
[pid=4452] ppid=4449 vsize=40056 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 4347 0 0 0 28 1 0 0 20 0 1 0 1452107 41017344 4138 33554432000 4194304 5970956 140724474850064 140724474847400 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10014 4138 848 434 0 3378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40056

[startup+0.700293 s]
/proc/loadavg: 2.00 2.02 2.05 2/242 4452
/proc/meminfo: memFree=31984180/32770624 swapFree=5804/214020
[pid=4452] ppid=4449 vsize=40056 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 4347 0 0 0 68 1 0 0 20 0 1 0 1452107 41017344 4138 33554432000 4194304 5970956 140724474850064 140724474847400 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10014 4138 848 434 0 3378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40056

[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31970480/32770624 swapFree=5804/214056
[pid=4452] ppid=4449 vsize=40056 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 4358 0 0 0 148 1 0 0 20 0 1 0 1452107 41017344 4138 33554432000 4194304 5970956 140724474850064 140724474847400 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10014 4138 848 434 0 3378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40056

[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31970108/32770624 swapFree=5804/214056
[pid=4452] ppid=4449 vsize=40460 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 7675 0 0 0 308 1 0 0 20 0 1 0 1452107 41431040 4271 33554432000 4194304 5970956 140724474850064 140724474847400 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4271 848 434 0 3479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40460

[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31969260/32770624 swapFree=5804/214056
[pid=4452] ppid=4449 vsize=40460 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 10963 0 0 0 628 1 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5031460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40460

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31968372/32770624 swapFree=5804/214196
[pid=4452] ppid=4449 vsize=40460 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 14231 0 0 0 1268 1 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4908331 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40460

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31967844/32770624 swapFree=5804/214088
[pid=4452] ppid=4449 vsize=40460 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 20734 0 0 0 2547 1 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4934350 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40460

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4453
/proc/meminfo: memFree=31967408/32770624 swapFree=5804/214088
[pid=4452] ppid=4449 vsize=40460 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 21503 0 0 0 5106 1 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4969812 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40460

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4454
/proc/meminfo: memFree=31967112/32770624 swapFree=5804/214088
[pid=4452] ppid=4449 vsize=40460 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 22256 0 0 0 10225 1 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4934506 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40460

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4455
/proc/meminfo: memFree=31967308/32770624 swapFree=5804/214244
[pid=4452] ppid=4449 vsize=40460 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 23001 0 0 0 16223 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4974240 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40460

[startup+222.308 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4456
/proc/meminfo: memFree=31966632/32770624 swapFree=5804/214276
[pid=4452] ppid=4449 vsize=40460 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 23762 0 0 0 22222 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4969809 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40460

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4457
/proc/meminfo: memFree=31967680/32770624 swapFree=5804/214372
[pid=4452] ppid=4449 vsize=40460 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 24512 0 0 0 28220 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4971778 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40460

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4458
/proc/meminfo: memFree=31967252/32770624 swapFree=5804/214372
[pid=4452] ppid=4449 vsize=40460 CPUtime=342.21 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 25262 0 0 0 34219 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 40460

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4459
/proc/meminfo: memFree=31967616/32770624 swapFree=5804/214444
[pid=4452] ppid=4449 vsize=40460 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 26013 0 0 0 40217 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5327985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 40460

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4460
/proc/meminfo: memFree=31967464/32770624 swapFree=5804/214444
[pid=4452] ppid=4449 vsize=40460 CPUtime=462.18 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 26738 0 0 0 46216 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 40460

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4461
/proc/meminfo: memFree=31968356/32770624 swapFree=5804/214520
[pid=4452] ppid=4449 vsize=40460 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 27471 0 0 0 52215 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5337492 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 40460

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4469
/proc/meminfo: memFree=31968392/32770624 swapFree=5804/214520
[pid=4452] ppid=4449 vsize=40460 CPUtime=582.15 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 28189 0 0 0 58213 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 40460


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4557
/proc/meminfo: memFree=32022192/32770624 swapFree=5804/215300
[pid=4452] ppid=4449 vsize=40460 CPUtime=1481.94 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 38955 0 0 0 148192 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4977045 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 40460

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4558
/proc/meminfo: memFree=32021424/32770624 swapFree=5804/215300
[pid=4452] ppid=4449 vsize=40460 CPUtime=1541.93 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 39636 0 0 0 154191 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 40460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4559
/proc/meminfo: memFree=32022152/32770624 swapFree=5804/215400
[pid=4452] ppid=4449 vsize=40460 CPUtime=1601.91 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 40366 0 0 0 160189 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4974439 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 40460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4561
/proc/meminfo: memFree=32021952/32770624 swapFree=5804/215400
[pid=4452] ppid=4449 vsize=40460 CPUtime=1661.9 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 41054 0 0 0 166188 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 40460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4562
/proc/meminfo: memFree=32021912/32770624 swapFree=5804/215488
[pid=4452] ppid=4449 vsize=40460 CPUtime=1721.88 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 41796 0 0 0 172186 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 40460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4570
/proc/meminfo: memFree=32020284/32770624 swapFree=5804/215488
[pid=4452] ppid=4449 vsize=40460 CPUtime=1781.87 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 42479 0 0 0 178185 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4970904 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 40460

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4594
/proc/meminfo: memFree=32019264/32770624 swapFree=5804/215596
[pid=4452] ppid=4449 vsize=40460 CPUtime=1841.86 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 43162 0 0 0 184184 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4970732 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 40460

[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/244 4595
/proc/meminfo: memFree=32017760/32770624 swapFree=5804/215596
[pid=4452] ppid=4449 vsize=40460 CPUtime=1901.84 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 43889 0 0 0 190182 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1901.84
Current children cumulated vsize (KiB) 40460

[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4596
/proc/meminfo: memFree=32019320/32770624 swapFree=5804/215688
[pid=4452] ppid=4449 vsize=40460 CPUtime=1961.83 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 44574 0 0 0 196181 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 40460

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 4597
/proc/meminfo: memFree=32019824/32770624 swapFree=5804/215716
[pid=4452] ppid=4449 vsize=40460 CPUtime=2021.81 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 45259 0 0 0 202179 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4970920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2021.81
Current children cumulated vsize (KiB) 40460

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4598
/proc/meminfo: memFree=32020460/32770624 swapFree=5804/215780
[pid=4452] ppid=4449 vsize=40460 CPUtime=2081.81 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 45997 0 0 0 208179 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4978416 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 40460

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4599
/proc/meminfo: memFree=32019748/32770624 swapFree=5804/215780
[pid=4452] ppid=4449 vsize=40460 CPUtime=2141.79 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 46678 0 0 0 214177 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 40460

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4600
/proc/meminfo: memFree=32020156/32770624 swapFree=5804/215860
[pid=4452] ppid=4449 vsize=40460 CPUtime=2201.78 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 47348 0 0 0 220176 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 40460

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4601
/proc/meminfo: memFree=32019752/32770624 swapFree=5804/215860
[pid=4452] ppid=4449 vsize=40460 CPUtime=2261.76 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 48042 0 0 0 226174 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4974179 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 40460

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4602
/proc/meminfo: memFree=32020928/32770624 swapFree=5804/215924
[pid=4452] ppid=4449 vsize=40460 CPUtime=2321.74 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 48763 0 0 0 232172 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5325112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2321.74
Current children cumulated vsize (KiB) 40460

[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 4611
/proc/meminfo: memFree=32020620/32770624 swapFree=5804/215976
[pid=4452] ppid=4449 vsize=40460 CPUtime=2381.73 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 49447 0 0 0 238171 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 4974400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2381.73
Current children cumulated vsize (KiB) 40460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4612
/proc/meminfo: memFree=32019796/32770624 swapFree=5804/215976
[pid=4452] ppid=4449 vsize=40460 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/4452/stat : 4452 (cosoco) R 4449 4452 2463 0 -1 4202496 50110 0 0 0 240001 2 0 0 20 0 1 0 1452107 41431040 4282 33554432000 4194304 5970956 140724474850064 140724474847400 5028908 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38297600 140724474852545 140724474852675 140724474852675 140724474855374 0
/proc/4452/statm: 10115 4282 848 434 0 3479 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 40460

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.04
CPU user time (s): 2400.01
CPU system time (s): 0.027993
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 40460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.027993
maximum resident set size= 17172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50138
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= 17
involuntary context switches= 120632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99785 second user time and 10.4337 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 20:30:47
IDJOB=4242324
IDBENCH=133909
IDSOLVER=2620
FILE ID=node131/4242324-1500661847
RUNJOBID= node131-1500648174-2495
PBS_JOBID= 20623289
Free space on /tmp= 62016 MiB

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

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

MD5SUM BENCH= e7fb96dadee149724dd4cb9af2eae5d9
RANDOM SEED=1954809878

node131.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	: 5334.06
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.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		: 1867.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	: 5334.06
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		: 1600.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.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		: 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	: 5334.06
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.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		: 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	: 5334.06
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.55
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		: 1600.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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31983712 kB
MemAvailable:   31972752 kB
Buffers:           32156 kB
Cached:           269004 kB
SwapCached:            0 kB
Active:           193148 kB
Inactive:         222712 kB
Active(anon):     117548 kB
Inactive(anon):     8692 kB
Active(file):      75600 kB
Inactive(file):   214020 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2444 kB
Writeback:             0 kB
AnonPages:        120996 kB
Mapped:            29828 kB
Shmem:              8844 kB
Slab:              62396 kB
SReclaimable:      30512 kB
SUnreclaim:        31884 kB
KernelStack:        4256 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     389800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-07-21 21:10:48