Trace number 4300351

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.83 2520.01

General information on the benchmark

NameFrb/
frb-50-23-1-mgd_c18.xml
MD5SUM89c27d49b20a714b89297264b4c82bd7
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 variables50
Number of constraints430
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree11
Maximum variable degree24
Distribution of variable degrees[{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":6},{"degree":14,"count":1},{"degree":15,"count":7},{"degree":16,"count":2},{"degree":17,"count":8},{"degree":18,"count":5},{"degree":19,"count":7},{"degree":20,"count":4},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":430}]
Number of extensional constraints430
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":430}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.19	c root propagations     : 0           
0.09/0.19	c restarts enabled, print stats at every restarts
0.09/0.19	c
0.09/0.19	c
0.09/0.19	c
0.09/0.19	c This is cosoco 1.12 --  
0.09/0.19	c
0.09/0.19	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4300351-1532841420.xml 
0.09/0.19	c ========================================[ Problem Statistics ]===========================================
0.09/0.19	c |                                                                                                       
0.09/0.19	c |  Parse time        :         0.18 s 
0.09/0.19	c |
0.09/0.19	c |               Variables: 50
0.09/0.19	c |            Domain Sizes: 23..23
0.09/0.19	c |
0.09/0.19	c |             Constraints: 430
0.09/0.19	c |                   Arity: 2..2  -- Binary: 430
0.09/0.19	c | 
0.09/0.19	c |                   Types: 
0.09/0.19	c |                          Extension: 430  (nb tuples: 132..243) -- (shared: 0)
0.09/0.19	c |                          
0.09/0.19	c =========================================================================================================
0.09/0.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.19	c 101            216            62644          23353          0              0              8   15   11    
0.09/0.20	c 211            445            124821         49974          0              0              7   14   9     
0.20/0.22	c 332            772            219399         93362          0              0              6   15   9     
0.20/0.23	c 465            1125           313917         129249         0              0              6   16   11    
0.20/0.24	c 611            1468           406368         166872         0              0              7   15   10    
0.20/0.26	c 771            1934           520771         211693         0              0              7   16   11    
0.20/0.28	c 947            2431           656033         261218         0              0              7   16   11    
0.20/0.30	c 1140           2905           787715         310117         0              0              8   15   11    
0.30/0.32	c 1352           3548           956181         373757         0              0              7   17   11    
0.30/0.34	c 1585           4177           1125335        437425         0              0              7   17   11    
0.30/0.36	c 1841           4758           1289195        498432         0              0              7   16   11    
0.30/0.39	c 2122           5495           1490603        567621         0              0              8   15   11    
0.40/0.41	c 2431           6259           1694954        641362         0              0              7   18   11    
0.40/0.45	c 2770           7123           1915340        729332         0              0              6   16   10    
0.40/0.48	c 3142           8001           2147614        814954         0              0              8   16   11    
0.50/0.52	c 3551           9203           2454506        938416         0              0              6   17   11    
0.50/0.56	c 4000           10379          2780717        1070521        0              0              6   16   10    
0.59/0.61	c 4493           11604          3103629        1194896        0              0              7   18   11    
0.59/0.66	c 5035           13109          3494839        1334498        0              0              7   19   11    
0.69/0.72	c 5631           14819          3919162        1503259        0              0              6   18   11    
0.69/0.77	c 6286           16477          4350302        1658868        0              0              7   17   12    
0.79/0.84	c 7006           18326          4853273        1858185        0              0              6   17   10    
0.89/0.92	c 7798           20648          5439234        2078782        0              0              5   17   10    
0.89/1.00	c 8669           22919          6046238        2309354        0              0              6   16   11    
0.99/1.09	c 9627           25342          6717678        2566079        0              0              6   16   10    
1.09/1.19	c 10680          27803          7405543        2831152        0              0              7   16   10    
1.19/1.29	c 11838          30880          8190972        3121196        0              0              7   19   11    
1.39/1.41	c 13111          34491          9069768        3458540        0              0              6   19   12    
1.49/1.54	c 14511          38383          10077434       3849714        0              0              5   17   11    
1.59/1.67	c 16051          41917          11065661       4213003        0              0              7   17   11    
1.79/1.84	c 17745          46987          12322480       4676174        0              0              6   19   12    
1.99/2.02	c 19608          51718          13630697       5188307        0              0              5   16   10    
2.19/2.21	c 21657          57013          15059564       5747867        0              0              6   17   11    
2.39/2.43	c 23910          63254          16674423       6371279        0              0              5   18   11    
2.59/2.66	c 26388          69443          18331749       7036546        0              0              5   16   10    
2.89/2.92	c 29113          77058          20348573       7806305        0              0              7   18   12    
3.19/3.20	c 32110          85574          22486255       8589088        0              0              4   19   11    
3.49/3.52	c 35406          94525          24826535       9478810        0              0              5   19   11    
3.79/3.86	c 39031          104050         27295648       10464260       0              0              5   18   11    
4.19/4.25	c 43018          115294         30223280       11559716       0              0              5   19   11    
4.59/4.67	c 47403          126811         33270686       12746023       0              0              6   18   10    
5.09/5.12	c 52226          138669         36541575       14046369       0              0              5   16   10    
5.58/5.61	c 57531          151408         40108303       15428722       0              0              5   16   10    
6.09/6.15	c 63366          166245         44058811       17000946       0              0              4   17   10    
6.68/6.72	c 69784          181478         48271529       18612882       0              0              6   16   10    
7.28/7.36	c 76843          199920         53067867       20502005       0              0              5   19   11    
8.09/8.11	c 84607          222145         58725908       22602240       0              0              5   19   11    
8.88/8.90	c 93147          244421         64608136       24839839       0              0              5   18   10    
9.78/9.80	c 102541         271094         71396797       27434414       0              0              4   20   11    
10.68/10.79	c 112874         298967         78692821       30258479       0              0              4   18   10    
11.78/11.88	c 124240         330332         86795627       33360865       0              0              6   21   12    
12.99/13.10	c 136742         363915         95571664       36862107       0              0              3   17   10    
14.28/14.37	c 150494         400115         105079317      40523235       0              0              5   19   11    
15.78/15.82	c 165621         442008         115664989      44723167       0              0              4   19   10    
17.38/17.41	c 182260         485394         127227049      49273211       0              0              4   18   10    
19.09/19.15	c 200562         532982         140102769      54222461       0              0              5   20   10    
20.99/21.09	c 220694         589416         154550243      59712682       0              0              5   22   11    
23.18/23.21	c 242839         651672         170250931      65866615       0              0              4   20   11    
25.68/25.70	c 267198         718779         188135990      73075304       0              0              4   20   10    
28.18/28.25	c 293992         791413         207202824      80277770       0              0              4   20   11    
30.98/31.02	c 323465         866254         227636871      88074906       0              0              4   19   10    
34.09/34.16	c 355885         956635         250947982      97045829       0              0              5   20   11    
37.28/37.34	c 391547         1050520        275220100      106117083      0              0              5   21   12    
41.08/41.15	c 430775         1158711        303462306      116892037      0              0              4   19   11    
45.27/45.31	c 473925         1273670        334018073      128720937      0              0              4   19   10    
49.87/49.93	c 521390         1408076        368446207      141999802      0              0              4   20   11    
54.77/54.82	c 573601         1542038        404547196      155907433      0              0              4   19   10    
60.17/60.24	c 631033         1691400        444096911      171367409      0              0              4   19   10    
66.08/66.11	c 694208         1861125        487882678      188318653      0              0              4   20   11    
72.47/72.57	c 763700         2042201        536857201      206345213      0              0              5   19   11    
79.57/79.65	c 840141         2245527        589753314      226644937      0              0              5   20   11    
87.56/87.60	c 924226         2455319        648211450      249068024      0              0              4   19   10    
96.36/96.47	c 1016719        2699120        714496259      274135511      0              0              3   19   10    
106.07/106.16	c 1118461        2960010        784331903      301848624      0              0              4   20   11    
117.26/117.30	c 1230377        3259393        865080732      333774680      0              0              4   20   11    
129.07/129.19	c 1353484        3597458        953740577      367252854      0              0              4   21   11    
141.46/141.54	c 1488901        3960912        1047181413     402655596      0              0              5   21   11    
155.66/155.71	c 1637859        4352217        1150693490     443384175      0              0              3   21   11    
171.26/171.34	c 1801712        4793549        1267132376     487492965      0              0              4   19   10    
188.36/188.45	c 1981950        5276393        1395411629     535438723      0              0              4   23   11    
206.75/206.85	c 2180211        5782456        1532947325     587392307      0              0              4   20   10    
228.06/228.16	c 2398298        6388603        1690101817     648458929      0              0              3   22   11    
252.44/252.50	c 2638193        7057556        1866235652     718095108      0              0              3   20   11    
278.34/278.48	c 2902077        7787982        2056756906     792215777      0              0              2   21   11    
305.44/305.58	c 3192349        8550892        2260770090     868088732      0              0              4   20   11    
335.53/335.64	c 3511648        9380548        2482252760     954529666      0              0              3   19   10    
368.12/368.24	c 3862876        10295376       2725684132     1047330565     0              0              4   20   11    
404.72/404.87	c 4249226        11351224       2998465345     1152643004     0              0              4   22   11    
447.21/447.33	c 4674211        12471004       3303322973     1273203633     0              0              4   21   10    
493.50/493.61	c 5141694        13791826       3642385122     1404835247     0              0              3   21   11    
542.90/543.09	c 5655925        15174820       4004580914     1547331897     0              0              3   20   10    
597.78/597.95	c 6221579        16646900       4404005209     1702413430     0              0              3   22   10    
661.27/661.43	c 6843798        18416542       4863691114     1883650358     1              0              3   21   11    
728.56/728.78	c 7528238        20329435       5362125052     2074979033     1              0              3   22   11    
804.15/804.33	c 8281122        22429028       5909421164     2291971520     2              0              2   21   10    
882.95/883.11	c 9109294        24562814       6489243097     2517427821     2              0              3   20   10    
969.85/970.08	c 10020283       27003055       7129160882     2767441515     2              0              3   20   10    
1065.85/1066.10	c 11022370       29679690       7835056535     3042761971     2              0              3   22   10    
1170.14/1170.38	c 12124665       32682295       8614246735     3341548494     2              0              3   22   11    
1287.14/1287.35	c 13337189       35921797       9469673750     3674824958     3              0              3   22   10    
1418.33/1418.59	c 14670965       39581524       10428704283    4055478964     4              0              3   22   10    
1557.73/1557.96	c 16138118       43555889       11464709026    4455842214     5              0              2   23   11    
1716.73/1716.90	c 17751986       48067459       12639198243    4906730689     7              0              2   23   11    
1892.43/1892.68	c 19527240       52885938       13916604374    5411716731     8              0              2   22   10    
2082.42/2082.70	c 21480019       58287286       15313391099    5956900886     9              0              2   22   11    
2289.82/2290.08	c 23628075       64284330       16857067351    6549209326     9              0              3   22   11    
2515.71/2516.00	c 25990936       70607465       18517473721    7196402506     10             0              2   24   10    
2519.82/2520.00	
2519.82/2520.00	c *** INTERRUPTED ***
2519.82/2520.00	c restarts              : 107         
2519.82/2520.00	c conflicts             : 26032512     (10331 /sec)
2519.82/2520.00	c decisions             : 70716694     (28064 /sec)
2519.82/2520.00	c propagations          : 7207833991  (2860461 /sec)
2519.82/2520.00	c root propagations     : 0           
2519.82/2520.00	c filter calls          : 18547094436    (7360496 /sec)
2519.82/2520.00	c useless filter calls  : 14788405354    (79 %)
2519.82/2520.00	c Memory used           : 27.27 MB
2519.82/2520.00	c CPU time              : 2519.82 s
2519.82/2520.00	
2519.82/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10657 MiB free)
  memory of node 1: 16384 MiB (12612 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300351-1532841420/watcher-4300351-1532841420 -o /tmp/evaluation-result-4300351-1532841420/solver-4300351-1532841420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300351-1532841420.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2481, runsolver pid=2478
Current StackSize limit: 8192 KiB


[startup+0.10105 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23827028/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27544 memory=3832 CPUtime=0.09 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1133 0 0 0 9 0 0 0 20 0 1 0 101705168 28205056 958 33554432000 4194304 6142532 140723995360080 140723995356728 5801578 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6886 958 789 476 0 208 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27544 KiB
Current children cumulated memory: 3832 KiB

[startup+0.209461 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826780/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4468 CPUtime=0.2 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1279 0 0 0 20 0 0 0 20 0 1 0 101705168 28590080 1117 33554432000 4194304 6142532 140723995360080 140723995356728 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1117 826 476 0 302 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4468 KiB

[startup+0.308868 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826780/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4468 CPUtime=0.3 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1279 0 0 0 30 0 0 0 20 0 1 0 101705168 28590080 1117 33554432000 4194304 6142532 140723995360080 140723995356728 4995461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1117 826 476 0 302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4468 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826780/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4468 CPUtime=0.69 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1279 0 0 0 69 0 0 0 20 0 1 0 101705168 28590080 1117 33554432000 4194304 6142532 140723995360080 140723995357480 4995652 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1117 826 476 0 302 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4468 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826780/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4468 CPUtime=1.49 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1279 0 0 0 149 0 0 0 20 0 1 0 101705168 28590080 1117 33554432000 4194304 6142532 140723995360080 140723995357480 4995461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1117 826 476 0 302 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4468 KiB

[startup+3.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826532/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=3.09 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1507 0 0 0 309 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995671 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826376/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=6.28 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1735 0 0 0 628 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826376/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=12.68 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 1963 0 0 0 1268 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826628/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=25.48 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 2419 0 0 0 2548 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995590 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=23826876/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=51.08 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 2647 0 0 0 5108 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5336852 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2483
/proc/meminfo: memFree=23826792/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=102.26 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 2875 0 0 0 10226 0 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995255 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2484
/proc/meminfo: memFree=23826812/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=162.26 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 3103 0 0 0 16225 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4990880 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2494
/proc/meminfo: memFree=23826036/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=222.25 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 3331 0 0 0 22224 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995676 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2495
/proc/meminfo: memFree=23826648/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=282.24 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 3559 0 0 0 28223 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995328 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2496
/proc/meminfo: memFree=23826404/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=342.23 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 3787 0 0 0 34222 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2497
/proc/meminfo: memFree=23826676/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=402.22 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 4015 0 0 0 40221 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2498
/proc/meminfo: memFree=23826508/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=462.21 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 4243 0 0 0 46220 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995332 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB


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

/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/187 2536
/proc/meminfo: memFree=23826184/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=1782.13 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 9165 0 0 0 178212 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995420 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+1842.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/187 2537
/proc/meminfo: memFree=23826176/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=1842.13 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 9380 0 0 0 184212 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 2538
/proc/meminfo: memFree=23826388/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=1902.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 9608 0 0 0 190211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 2539
/proc/meminfo: memFree=23826264/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=1962.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 9823 0 0 0 196211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4990592 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 2548
/proc/meminfo: memFree=23825584/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2022.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 10038 0 0 0 202211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5327211 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/188 2549
/proc/meminfo: memFree=23825692/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2082.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 10253 0 0 0 208211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995694 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 2550
/proc/meminfo: memFree=23825876/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2142.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 10481 0 0 0 214211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5326543 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 2551
/proc/meminfo: memFree=23825728/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2202.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 10696 0 0 0 220211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5327179 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 2552
/proc/meminfo: memFree=23825588/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2262.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 10911 0 0 0 226211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 2554
/proc/meminfo: memFree=23826164/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2322.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 11139 0 0 0 232211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995483 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 2/180 2601
/proc/meminfo: memFree=23830864/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2382.12 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 11354 0 0 0 238211 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5327052 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.83 1.98 2/180 2602
/proc/meminfo: memFree=23831640/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2442.11 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 11569 0 0 0 244210 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5336535 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

[startup+2502.3 s]
/proc/loadavg: 1.14 1.68 1.92 2/180 2604
/proc/meminfo: memFree=23832368/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2502.11 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 11789 0 0 0 250210 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 5327065 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.10 1.64 1.90 2/180 2604
/proc/meminfo: memFree=23832492/32770624 swapFree=67108860/67108860
[pid=2481] ppid=2478 vsize=27920 memory=4492 CPUtime=2519.82 cores=0,2,4,6
/proc/2481/stat : 2481 (cosoco) R 2478 2481 31467 0 -1 4202496 12012 0 0 0 251981 1 0 0 20 0 1 0 101705168 28590080 1123 33554432000 4194304 6142532 140723995360080 140723995357480 4995671 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19980288 140723995366534 140723995366664 140723995366664 140723995369422 0
/proc/2481/statm: 6980 1123 831 476 0 302 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4492 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 2481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.82 s, system=0.017998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.83
CPU user time (s): 2519.82
CPU system time (s): 0.017998
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 27920
Max. memory (cumulated for all children) (KiB): 4492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.017998
maximum resident set size= 4556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1393


# summary of solver processes directly reported to runsolver:
#   pid: 2481
#   total CPU time (s): 2519.83
#   total CPU user time (s): 2519.82
#   total CPU system time (s): 0.017998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.88912 second user time and 15.3672 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-29 07:17:00
IDJOB=4300351
IDBENCH=141589
IDSOLVER=2761
FILE ID=node139/4300351-1532841420
RUNJOBID= node139-1532810061-31498
PBS_JOBID= 21022483
Free space on /tmp= 38692 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Frb/frb-50-23-1-mgd_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300351-1532841420/watcher-4300351-1532841420 -o /tmp/evaluation-result-4300351-1532841420/solver-4300351-1532841420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4300351-1532841420.xml

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

MD5SUM BENCH= 89c27d49b20a714b89297264b4c82bd7
RANDOM SEED=79358894

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23828144 kB
MemAvailable:   31929944 kB
Buffers:          244712 kB
Cached:          7955680 kB
SwapCached:            0 kB
Active:          3113644 kB
Inactive:        5140420 kB
Active(anon):       7968 kB
Inactive(anon):    73564 kB
Active(file):    3105676 kB
Inactive(file):  5066856 kB
Unevictable:        7288 kB
Mlocked:            7288 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3124 kB
Writeback:             0 kB
AnonPages:         60804 kB
Mapped:            45728 kB
Shmem:             25228 kB
Slab:             386468 kB
SReclaimable:     357728 kB
SUnreclaim:        28740 kB
KernelStack:        3360 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38696 MiB
End job on node139 at 2018-07-29 07:59:00