Trace number 4242444

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.05 2400.4

General information on the benchmark

NameBlackhole/Blackhole-m1-s13/
Blackhole-13-3-01.xml
MD5SUM8a560dffd54b0877593a0147eb9ff923
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.116712
Satisfiable
(Un)Satisfiability was proved
Number of variables104
Number of constraints87
Number of domains1
Minimum domain size52
Maximum domain size52
Distribution of domain sizes[{"size":52,"count":104}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":87},{"degree":3,"count":17}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}]
Number of extensional constraints51
Number of intensional constraints35
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create channel(X,Y) constraint using 52 element constraint 
0.00/0.00	c intension y[16]<y[40]  using generic constraint 
0.00/0.00	c intension y[40]<y[31]  using generic constraint 
0.00/0.00	c intension y[10]<y[43]  using generic constraint 
0.00/0.00	c intension y[43]<y[19]  using generic constraint 
0.00/0.00	c intension y[17]<y[18]  using generic constraint 
0.00/0.01	c intension y[18]<y[14]  using generic constraint 
0.00/0.01	c intension y[44]<y[6]  using generic constraint 
0.00/0.01	c intension y[6]<y[45]  using generic constraint 
0.00/0.01	c intension y[21]<y[7]  using generic constraint 
0.00/0.01	c intension y[7]<y[3]  using generic constraint 
0.00/0.01	c intension y[50]<y[12]  using generic constraint 
0.00/0.01	c intension y[12]<y[42]  using generic constraint 
0.00/0.01	c intension y[30]<y[27]  using generic constraint 
0.00/0.01	c intension y[27]<y[41]  using generic constraint 
0.00/0.01	c intension y[4]<y[9]  using generic constraint 
0.00/0.01	c intension y[9]<y[8]  using generic constraint 
0.00/0.01	c intension y[15]<y[51]  using generic constraint 
0.00/0.01	c intension y[51]<y[48]  using generic constraint 
0.00/0.01	c intension y[36]<y[34]  using generic constraint 
0.00/0.01	c intension y[34]<y[29]  using generic constraint 
0.00/0.01	c intension y[47]<y[35]  using generic constraint 
0.00/0.01	c intension y[35]<y[33]  using generic constraint 
0.00/0.01	c intension y[13]<y[24]  using generic constraint 
0.00/0.01	c intension y[24]<y[38]  using generic constraint 
0.00/0.01	c intension y[28]<y[23]  using generic constraint 
0.00/0.01	c intension y[23]<y[11]  using generic constraint 
0.00/0.01	c intension y[5]<y[1]  using generic constraint 
0.00/0.01	c intension y[1]<y[2]  using generic constraint 
0.00/0.01	c intension y[46]<y[20]  using generic constraint 
0.00/0.01	c intension y[20]<y[37]  using generic constraint 
0.00/0.01	c intension y[22]<y[25]  using generic constraint 
0.00/0.01	c intension y[25]<y[26]  using generic constraint 
0.00/0.01	c intension y[39]<y[49]  using generic constraint 
0.00/0.01	c intension y[49]<y[32]  using generic constraint 
0.00/0.02	c root propagations     : 308         
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.0 --  
0.00/0.02	c
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.02 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 104
0.00/0.02	c |            Domain Sizes: 52..52
0.00/0.02	c |
0.00/0.02	c |             Constraints: 138
0.00/0.02	c |                   Arity: 1..53  -- Unary: 1  -- Binary: 85
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          (X - Y < k): 34
0.00/0.02	c |                          Element Constant: 52
0.00/0.02	c |                          Extension: 51  (nb tuples: 416..416) -- (shared: 50)
0.00/0.02	c |                          Intension: 1
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            232            21817          12238          104            0              49   60   57   
0.00/0.02	c 211            398            43122          21362          104            0              40   46   42   
0.00/0.03	c 332            615            70119          44774          104            0              37   41   39   
0.00/0.04	c 465            798            97702          67161          104            0              40   43   41   
0.00/0.04	c 611            1014           124314         89068          104            0              39   41   40   
0.00/0.05	c 771            1270           169331         112848         104            0              42   49   43   
0.00/0.05	c 947            1704           211130         132464         104            0              40   45   41   
0.00/0.06	c 1140           2048           258996         186261         104            0              38   44   39   
0.00/0.07	c 1352           2353           313290         216519         104            0              37   44   39   
0.00/0.08	c 1585           2741           389814         299193         104            0              37   37   36   
0.00/0.09	c 1841           3343           448796         329293         104            0              39   44   41   
0.09/0.10	c 2122           3923           536950         395331         104            0              42   45   43   
0.09/0.11	c 2431           4327           599771         464658         104            0              41   46   41   
0.09/0.12	c 2770           4907           683428         543861         104            0              40   45   41   
0.09/0.13	c 3142           5404           775051         587317         104            0              46   50   48   
0.09/0.14	c 3551           6074           849606         600778         104            0              22   49   47   
0.09/0.14	c 4000           7093           922812         613758         104            0              23   39   38   
0.09/0.15	c 4493           7807           1011615        685886         104            0              39   41   40   
0.09/0.17	c 5035           8702           1135726        841671         104            0              42   42   41   
0.09/0.18	c 5631           11145          1267102        917939         104            0              35   50   47   
0.09/0.19	c 6286           12190          1360728        953721         104            0              33   38   36   
0.19/0.20	c 7006           13376          1458363        971071         104            0              47   54   52   
0.19/0.21	c 7798           14249          1545130        1006455        104            0              40   43   40   
0.19/0.22	c 8669           15495          1675382        1096377        104            0              41   46   44   
0.19/0.23	c 9627           16750          1790012        1194062        104            0              43   46   43   
0.19/0.24	c 10680          18439          1921680        1254630        104            0              31   45   44   
0.19/0.27	c 11838          20601          2182739        1519381        104            0              41   44   41   
0.19/0.29	c 13111          23409          2417198        1621188        104            0              40   42   41   
0.29/0.32	c 14511          25315          2640225        1862913        104            0              39   43   41   
0.29/0.35	c 16051          27540          2915568        2156067        104            0              37   41   39   
0.29/0.37	c 17745          30997          3220237        2237016        104            0              42   54   51   
0.29/0.39	c 19608          33622          3411752        2379073        104            0              43   46   45   
0.39/0.43	c 21657          37314          3807317        2636233        104            0              44   45   44   
0.39/0.46	c 23910          40712          4195251        2882818        104            0              44   46   45   
0.49/0.50	c 26388          43915          4670802        3123847        104            0              45   48   47   
0.49/0.53	c 29113          48874          5039135        3243390        104            0              33   36   35   
0.49/0.58	c 32110          55329          5657181        3554843        104            0              38   40   39   
0.59/0.64	c 35406          59830          6338850        4015067        104            0              43   43   42   
0.59/0.70	c 39031          67332          6950232        4196407        104            0              37   42   41   
0.79/0.83	c 43018          75151          8220823        5471598        104            0              39   42   41   
0.79/0.90	c 47403          82609          9088487        5950719        104            0              39   43   41   
0.89/0.96	c 52226          96160          10051649       6130807        104            0              34   56   50   
1.10/1.14	c 57531          107503         12397311       8038920        104            0              41   46   45   
1.20/1.29	c 63366          119045         13737513       9617832        104            0              37   40   39   
1.39/1.46	c 69784          132270         15713307       10877400       104            0              32   43   37   
1.69/1.75	c 76843          143857         18352258       14168184       104            0              35   37   36   
1.79/1.85	c 84607          164590         19802460       14510255       104            0              36   50   47   
1.89/1.98	c 93147          174231         20776194       15833123       104            0              37   39   38   
1.99/2.08	c 102541         189373         22067255       16284809       104            0              48   56   52   
2.20/2.28	c 112874         201328         23711201       18590840       104            0              37   39   38   
2.39/2.40	c 124240         226348         25582807       18953343       104            0              37   59   54   
2.69/2.73	c 136742         251271         28991715       21998505       104            0              42   44   43   
3.09/3.10	c 150494         274732         32643771       25026391       104            0              38   46   41   
3.49/3.52	c 165621         293995         36211498       28088200       104            0              40   44   43   
3.59/3.67	c 182260         314323         37682669       29240562       104            0              41   45   44   
3.99/4.01	c 200562         348798         42662662       31506822       104            0              40   54   49   
4.50/4.55	c 220694         388991         48528138       36197526       104            0              42   45   44   
4.79/4.84	c 242839         417474         51580972       38375800       104            0              37   41   38   
5.50/5.53	c 267198         461113         58731310       41498936       104            0              40   45   43   
5.99/6.03	c 293992         496605         63824137       45557954       104            0              39   44   43   
8.69/8.73	c 323465         538108         80268823       67186442       104            0              30   40   33   
9.29/9.35	c 355885         579170         86401367       72403060       104            0              43   43   42   
9.90/9.91	c 391547         652553         94384230       75221691       104            0              33   55   48   
11.00/11.10	c 430775         703136         107416795      86980264       104            0              38   47   41   
12.10/12.20	c 473925         758635         116794920      95392682       104            0              41   45   43   
12.89/12.90	c 521390         820574         126040249      99516182       104            0              42   59   51   
14.19/14.22	c 573601         885826         138998168      110344654      104            0              41   42   41   
14.89/14.96	c 631033         985608         147838360      113232747      104            0              38   48   44   
15.79/15.84	c 694208         1065743        157518001      119720733      104            0              43   47   45   
16.99/17.06	c 763700         1164995        169642926      126448584      104            0              39   48   42   
20.29/20.35	c 840141         1337802        201537886      144294044      104            0              37   50   42   
21.39/21.41	c 924226         1450919        213989525      151418315      104            0              43   48   46   
23.79/23.82	c 1016719        1589789        236785130      168762012      104            0              39   49   42   
25.19/25.21	c 1118461        1715796        252001707      178796273      104            0              44   45   44   
27.60/27.65	c 1230377        1856419        278208761      192730950      104            0              42   53   45   
29.29/29.36	c 1353484        2004282        295288399      204851291      104            0              40   44   43   
31.79/31.82	c 1488901        2298928        327549298      212681228      104            0              48   56   53   
34.09/34.11	c 1637859        2533245        354536933      226998014      104            0              39   50   44   
35.59/35.69	c 1801712        2902359        381953615      230820098      104            0              47   57   55   
39.59/39.67	c 1981950        3254551        433138251      259857304      104            0              40   49   43   
41.69/41.75	c 2180211        3652811        464301222      267915842      104            0              41   54   50   
47.09/47.19	c 2398298        3987199        514812857      319432982      104            0              37   53   42   
51.48/51.55	c 2638193        4395367        566697168      361602413      104            0              40   50   44   
55.18/55.29	c 2902077        4943152        620720517      378493409      104            0              41   52   47   
64.99/65.01	c 3192349        5482197        718205472      454221893      104            0              39   49   42   
73.88/73.92	c 3511648        6100430        821902382      530194205      104            0              40   48   42   
77.09/77.15	c 3862876        6519366        870086381      542920148      104            0              42   51   47   
88.18/88.22	c 4249226        7271181        1000375718     636664164      104            0              40   48   43   
92.28/92.38	c 4674211        7883924        1060337533     652759606      104            0              39   52   46   
99.48/99.58	c 5141694        8798608        1158242231     692248742      104            0              41   52   47   
117.88/117.96	c 5655925        9760776        1333759675     838271258      104            0              39   44   41   
130.98/131.09	c 6221579        10560596       1465494472     956227109      104            0              38   48   42   
138.47/138.58	c 6843798        11687225       1562166187     1005155313     104            0              41   52   46   
150.37/150.44	c 7528238        12733376       1687070975     1102217265     104            0              40   45   43   
162.67/162.70	c 8281122        13724211       1828416039     1175900645     104            0              36   50   41   
174.37/174.41	c 9109294        14819983       1940629762     1265957323     104            0              39   45   42   
180.57/180.61	c 10020283       15903095       2051582020     1287823748     104            0              56   61   59   
193.26/193.34	c 11022370       17300421       2177710757     1396335907     104            0              40   45   43   
202.16/202.29	c 12124665       18777281       2352168233     1416345283     104            0              37   62   58   
220.46/220.60	c 13337189       20577630       2526031242     1569194160     104            0              38   46   43   
247.96/248.06	c 14670965       23368604       2879549381     1722468732     104            0              38   59   50   
270.75/270.86	c 16138118       25010826       3194317928     1808651446     104            0              41   48   45   
298.75/298.80	c 17751986       27331302       3493790403     2055268796     104            0              41   47   44   
319.85/319.92	c 19527240       30387936       3796308286     2145423767     104            0              39   61   48   
353.74/353.83	c 21480019       34028518       4223393693     2349134375     104            0              41   47   45   
375.94/376.07	c 23628075       36827770       4468509576     2507981691     104            0              42   48   45   
404.43/404.52	c 25990936       39450568       4848454461     2662365183     104            0              45   60   49   
429.93/430.01	c 28590083       42769406       5131236404     2840794745     104            0              45   48   47   
487.23/487.32	c 31449144       46586087       5863101381     3299274339     104            0              43   57   51   
520.41/520.51	c 34594111       51153773       6270318410     3504034542     104            0              42   49   47   
571.71/571.83	c 38053574       56818246       6871829367     3838247226     104            0              42   49   45   
607.50/607.64	c 41858983       61313906       7456129631     3936536794     104            0              48   60   53   
680.90/681.06	c 46044932       72955548       8488015104     4160454938     104            0              32   44   40   
741.98/742.10	c 50649475       79308914       9093669649     4623548345     104            0              42   49   45   
810.07/810.24	c 55714472       85885681       9758125546     5153360839     104            0              43   46   45   
884.96/885.15	c 61285968       93651573       10824307555    5479385907     104            0              47   58   52   
948.25/948.48	c 67414613       101188011      11466597542    5979424080     104            0              42   48   45   
1037.84/1038.00	c 74156122       111271260      12957585964    6351400633     104            0              39   60   52   
1135.22/1135.42	c 81571781       123177711      14266272320    6713794838     104            0              32   46   40   
1264.21/1264.47	c 89729005       135975378      15711120515    7692035421     104            0              43   49   46   
1364.09/1364.33	c 98701951       150128671      17270929664    8080695931     104            0              33   62   57   
1462.58/1462.87	c 108572191      163011204      18376544262    8848627040     104            0              41   47   45   
1572.56/1572.85	c 119429455      179408732      19916315472    9386611492     104            0              38   59   49   
1685.24/1685.52	c 131372445      196256566      21307122714    10142236959    104            0              44   50   47   
1878.62/1878.95	c 144509734      219580652      23728670443    11614647516    104            0              36   52   49   
2012.00/2012.32	c 158960751      241550935      25500726928    12395784307    104            0              43   50   47   
2234.16/2234.59	c 174856869      279242307      29112174602    13237728739    104            0              33   61   55

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-4242444-1500662608/watcher-4242444-1500662608 -o /tmp/evaluation-result-4242444-1500662608/solver-4242444-1500662608 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9857 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242444-1500662608.xml 

pid=11878
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.47 2.12 2.08 3/242 11881
/proc/meminfo: memFree=32011716/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1086 0 0 0 0 0 0 0 20 0 1 0 1525835 27774976 897 33554432000 4194304 5970956 140733698863216 140733698848600 140361931877472 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6781 897 761 434 0 145 0

[startup+0.100121 s]
/proc/loadavg: 2.47 2.12 2.08 3/242 11881
/proc/meminfo: memFree=32011716/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1167 0 0 0 9 0 0 0 20 0 1 0 1525835 28057600 994 33554432000 4194304 5970956 140733698863216 140733698860552 5327968 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 994 824 434 0 214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27400

[startup+0.200235 s]
/proc/loadavg: 2.47 2.12 2.08 3/242 11881
/proc/meminfo: memFree=32011716/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1167 0 0 0 19 0 0 0 20 0 1 0 1525835 28057600 994 33554432000 4194304 5970956 140733698863216 140733698860552 4994454 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 994 824 434 0 214 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27400

[startup+0.300199 s]
/proc/loadavg: 2.47 2.12 2.08 3/242 11881
/proc/meminfo: memFree=32011716/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1167 0 0 0 29 0 0 0 20 0 1 0 1525835 28057600 994 33554432000 4194304 5970956 140733698863216 140733698860552 4912928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 994 824 434 0 214 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27400

[startup+0.700172 s]
/proc/loadavg: 2.47 2.12 2.08 3/242 11881
/proc/meminfo: memFree=32011716/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1167 0 0 0 69 0 0 0 20 0 1 0 1525835 28057600 994 33554432000 4194304 5970956 140733698863216 140733698860552 140361931877472 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 994 824 434 0 214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27400

[startup+1.50017 s]
/proc/loadavg: 2.47 2.12 2.08 3/243 11882
/proc/meminfo: memFree=32010936/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1167 0 0 0 149 0 0 0 20 0 1 0 1525835 28057600 994 33554432000 4194304 5970956 140733698863216 140733698860552 4912960 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 994 824 434 0 214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27400

[startup+3.10022 s]
/proc/loadavg: 2.47 2.12 2.08 3/243 11882
/proc/meminfo: memFree=32010620/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1280 0 0 0 309 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27400

[startup+6.30021 s]
/proc/loadavg: 2.35 2.10 2.07 3/243 11882
/proc/meminfo: memFree=32010232/32770624 swapFree=5932/192504
[pid=11881] ppid=11878 vsize=27400 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1394 0 0 0 629 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5093120 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27400

[startup+12.7002 s]
/proc/loadavg: 2.33 2.10 2.07 3/243 11882
/proc/meminfo: memFree=32009376/32770624 swapFree=5932/192540
[pid=11881] ppid=11878 vsize=27400 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1508 0 0 0 1269 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27400

[startup+25.5003 s]
/proc/loadavg: 2.25 2.10 2.07 3/243 11882
/proc/meminfo: memFree=32009512/32770624 swapFree=5932/192556
[pid=11881] ppid=11878 vsize=27400 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1733 0 0 0 2549 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27400

[startup+51.1003 s]
/proc/loadavg: 2.17 2.09 2.07 3/243 11882
/proc/meminfo: memFree=32008824/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1846 0 0 0 5109 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27400

[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/243 11883
/proc/meminfo: memFree=32008184/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 1959 0 0 0 10228 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994458 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27400

[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/243 11884
/proc/meminfo: memFree=32008136/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2071 0 0 0 16227 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 27400

[startup+222.308 s]
/proc/loadavg: 2.01 2.05 2.05 3/243 11885
/proc/meminfo: memFree=32008100/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2184 0 0 0 22227 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5319201 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 27400

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 11886
/proc/meminfo: memFree=32008004/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2297 0 0 0 28225 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5320400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 27400

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 11887
/proc/meminfo: memFree=32007908/32770624 swapFree=5932/192516
[pid=11881] ppid=11878 vsize=27400 CPUtime=342.24 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2411 0 0 0 34224 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994503 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 27400

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 11895
/proc/meminfo: memFree=32006632/32770624 swapFree=5932/192900
[pid=11881] ppid=11878 vsize=27400 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2524 0 0 0 40223 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994614 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 27400

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 11896
/proc/meminfo: memFree=32007436/32770624 swapFree=5932/192900
[pid=11881] ppid=11878 vsize=27400 CPUtime=462.22 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2636 0 0 0 46222 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 27400

[startup+522.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/243 11897
/proc/meminfo: memFree=32007728/32770624 swapFree=5932/192900
[pid=11881] ppid=11878 vsize=27400 CPUtime=522.21 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2749 0 0 0 52221 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 27400

[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/243 11898
/proc/meminfo: memFree=32007940/32770624 swapFree=5932/192900
[pid=11881] ppid=11878 vsize=27400 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 2862 0 0 0 58221 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4908288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 27400


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


[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11944
/proc/meminfo: memFree=32003240/32770624 swapFree=5932/193560
[pid=11881] ppid=11878 vsize=27400 CPUtime=1482.07 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 4484 0 0 0 148207 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 27400

[startup+1542.31 s]
/proc/loadavg: 2.11 2.04 2.05 3/243 11945
/proc/meminfo: memFree=32003088/32770624 swapFree=5932/193560
[pid=11881] ppid=11878 vsize=27400 CPUtime=1542.07 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 4582 0 0 0 154207 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 27400

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 11953
/proc/meminfo: memFree=32002720/32770624 swapFree=5932/193748
[pid=11881] ppid=11878 vsize=27400 CPUtime=1602.06 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 4695 0 0 0 160206 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5093200 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 27400

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11954
/proc/meminfo: memFree=32001040/32770624 swapFree=5932/193748
[pid=11881] ppid=11878 vsize=27400 CPUtime=1662.05 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 4792 0 0 0 166205 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 27400

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11955
/proc/meminfo: memFree=32002012/32770624 swapFree=5932/193748
[pid=11881] ppid=11878 vsize=27400 CPUtime=1722.04 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 4905 0 0 0 172204 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 27400

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11956
/proc/meminfo: memFree=32001924/32770624 swapFree=5932/193748
[pid=11881] ppid=11878 vsize=27400 CPUtime=1782.03 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5003 0 0 0 178203 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 27400

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11957
/proc/meminfo: memFree=32002476/32770624 swapFree=5932/193748
[pid=11881] ppid=11878 vsize=27400 CPUtime=1842.02 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5101 0 0 0 184202 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 27400

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11958
/proc/meminfo: memFree=32003396/32770624 swapFree=5932/193952
[pid=11881] ppid=11878 vsize=27400 CPUtime=1902.01 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5214 0 0 0 190201 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5337497 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 27400

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11959
/proc/meminfo: memFree=32003204/32770624 swapFree=5932/193952
[pid=11881] ppid=11878 vsize=27400 CPUtime=1962 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5311 0 0 0 196200 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 27400

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11960
/proc/meminfo: memFree=32002932/32770624 swapFree=5932/193952
[pid=11881] ppid=11878 vsize=27400 CPUtime=2022 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5425 0 0 0 202200 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4908480 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 27400

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11961
/proc/meminfo: memFree=32001748/32770624 swapFree=5932/193952
[pid=11881] ppid=11878 vsize=27400 CPUtime=2081.99 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5523 0 0 0 208199 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994489 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 27400

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11962
/proc/meminfo: memFree=32001780/32770624 swapFree=5932/193952
[pid=11881] ppid=11878 vsize=27400 CPUtime=2141.98 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5621 0 0 0 214198 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5093154 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 27400

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11971
/proc/meminfo: memFree=32001820/32770624 swapFree=5932/194152
[pid=11881] ppid=11878 vsize=27400 CPUtime=2201.98 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5719 0 0 0 220198 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5327985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 27400

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11972
/proc/meminfo: memFree=32001892/32770624 swapFree=5932/194152
[pid=11881] ppid=11878 vsize=27400 CPUtime=2261.96 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5832 0 0 0 226196 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5321971 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 27400

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11973
/proc/meminfo: memFree=32001712/32770624 swapFree=5932/194152
[pid=11881] ppid=11878 vsize=27400 CPUtime=2321.95 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 5930 0 0 0 232195 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4908188 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 27400

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12106
/proc/meminfo: memFree=32025756/32770624 swapFree=5932/194372
[pid=11881] ppid=11878 vsize=27400 CPUtime=2381.94 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 6028 0 0 0 238194 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 4994526 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2381.94
Current children cumulated vsize (KiB) 27400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.07 2.03 2.05 3/244 12106
/proc/meminfo: memFree=32025012/32770624 swapFree=5932/194372
[pid=11881] ppid=11878 vsize=27400 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/11881/stat : 11881 (cosoco) R 11878 11881 9824 0 -1 4202496 6125 0 0 0 240004 0 0 0 20 0 1 0 1525835 28057600 1007 33554432000 4194304 5970956 140733698863216 140733698860552 5320400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34500608 140733698864321 140733698864451 140733698864451 140733698867150 0
/proc/11881/statm: 6850 1007 832 434 0 214 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 27400

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 11881 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.05
CPU user time (s): 2400.05
CPU system time (s): 0.002999
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 27400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.002999
maximum resident set size= 4072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6153
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= 6
involuntary context switches= 121824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64261 second user time and 10.3355 second system time

The end

Launcher Data 

Begin job on node150 at 2017-07-21 20:43:28
IDJOB=4242444
IDBENCH=134493
IDSOLVER=2620
FILE ID=node150/4242444-1500662608
RUNJOBID= node150-1500648172-9857
PBS_JOBID= 20623271
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-01.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242444-1500662608/watcher-4242444-1500662608 -o /tmp/evaluation-result-4242444-1500662608/solver-4242444-1500662608 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9857 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242444-1500662608.xml

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

MD5SUM BENCH= 8a560dffd54b0877593a0147eb9ff923
RANDOM SEED=267117524

node150.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.10
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	: 5333.10
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		: 2267.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.10
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	: 5333.10
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		: 1867.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.10
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		: 1733.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	: 5333.10
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		: 1733.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		: 2133.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.10
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		: 2668.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		: 2133.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.10
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:        32012532 kB
MemAvailable:   32003868 kB
Buffers:           34416 kB
Cached:           267604 kB
SwapCached:            0 kB
Active:           180656 kB
Inactive:         201212 kB
Active(anon):      83116 kB
Inactive(anon):     8708 kB
Active(file):      97540 kB
Inactive(file):   192504 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:         74576 kB
Mapped:            30692 kB
Shmem:              8848 kB
Slab:              66876 kB
SReclaimable:      34252 kB
SUnreclaim:        32624 kB
KernelStack:        4304 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62020 MiB
End job on node150 at 2017-07-21 21:23:28