Trace number 4295675

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.08 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 benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1513.36
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.10/0.18	c root propagations     : 0           
0.10/0.18	c restarts enabled, print stats at every restarts
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c This is cosoco 1.12 --  
0.10/0.18	c
0.10/0.18	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295675-1532563455.xml 
0.10/0.18	c ========================================[ Problem Statistics ]===========================================
0.10/0.18	c |                                                                                                       
0.10/0.18	c |  Parse time        :         0.18 s 
0.10/0.18	c |
0.10/0.18	c |               Variables: 50
0.10/0.18	c |            Domain Sizes: 23..23
0.10/0.18	c |
0.10/0.18	c |             Constraints: 430
0.10/0.18	c |                   Arity: 2..2  -- Binary: 430
0.10/0.18	c | 
0.10/0.18	c |                   Types: 
0.10/0.18	c |                          Extension: 430  (nb tuples: 132..243) -- (shared: 0)
0.10/0.18	c |                          
0.10/0.18	c =========================================================================================================
0.10/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.19	c 101            216            62644          23353          0              0              8   15   11    
0.10/0.20	c 211            445            124821         49974          0              0              7   14   9     
0.10/0.21	c 332            772            219399         93362          0              0              6   15   9     
0.21/0.22	c 465            1125           313917         129249         0              0              6   16   11    
0.21/0.24	c 611            1468           406368         166872         0              0              7   15   10    
0.21/0.25	c 771            1934           520771         211693         0              0              7   16   11    
0.21/0.27	c 947            2431           656033         261218         0              0              7   16   11    
0.21/0.29	c 1140           2905           787715         310117         0              0              8   15   11    
0.21/0.31	c 1352           3548           956181         373757         0              0              7   17   11    
0.31/0.33	c 1585           4177           1125335        437425         0              0              7   17   11    
0.31/0.35	c 1841           4758           1289195        498432         0              0              7   16   11    
0.31/0.38	c 2122           5495           1490603        567621         0              0              8   15   11    
0.31/0.41	c 2431           6259           1694954        641362         0              0              7   18   11    
0.41/0.44	c 2770           7123           1915340        729332         0              0              6   16   10    
0.41/0.47	c 3142           8001           2147614        814954         0              0              8   16   11    
0.41/0.51	c 3551           9203           2454506        938416         0              0              6   17   11    
0.51/0.55	c 4000           10379          2780717        1070521        0              0              6   16   10    
0.51/0.60	c 4493           11604          3103629        1194896        0              0              7   18   11    
0.60/0.65	c 5035           13109          3494839        1334498        0              0              7   19   11    
0.69/0.70	c 5631           14819          3919162        1503259        0              0              6   18   11    
0.69/0.76	c 6286           16477          4350302        1658868        0              0              7   17   12    
0.79/0.83	c 7006           18326          4853273        1858185        0              0              6   17   10    
0.89/0.91	c 7798           20648          5439234        2078782        0              0              5   17   10    
0.89/0.99	c 8669           22919          6046238        2309354        0              0              6   16   11    
1.00/1.08	c 9627           25342          6717678        2566079        0              0              6   16   10    
1.10/1.17	c 10680          27803          7405543        2831152        0              0              7   16   10    
1.19/1.27	c 11838          30880          8190972        3121196        0              0              7   19   11    
1.29/1.39	c 13111          34491          9069768        3458540        0              0              6   19   12    
1.49/1.52	c 14511          38383          10077434       3849714        0              0              5   17   11    
1.59/1.65	c 16051          41917          11065661       4213003        0              0              7   17   11    
1.79/1.82	c 17745          46987          12322480       4676174        0              0              6   19   12    
1.89/1.99	c 19608          51718          13630697       5188307        0              0              5   16   10    
2.10/2.18	c 21657          57013          15059564       5747867        0              0              6   17   11    
2.39/2.40	c 23910          63254          16674423       6371279        0              0              5   18   11    
2.59/2.63	c 26388          69443          18331749       7036546        0              0              5   16   10    
2.79/2.89	c 29113          77058          20348573       7806305        0              0              7   18   12    
3.10/3.17	c 32110          85574          22486255       8589088        0              0              4   19   11    
3.39/3.48	c 35406          94525          24826535       9478810        0              0              5   19   11    
3.79/3.82	c 39031          104050         27295648       10464260       0              0              5   18   11    
4.19/4.21	c 43018          115294         30223280       11559716       0              0              5   19   11    
4.59/4.62	c 47403          126811         33270686       12746023       0              0              6   18   10    
5.00/5.07	c 52226          138669         36541575       14046369       0              0              5   16   10    
5.49/5.55	c 57531          151408         40108303       15428722       0              0              5   16   10    
6.00/6.09	c 63366          166245         44058811       17000946       0              0              4   17   10    
6.59/6.65	c 69784          181478         48271529       18612882       0              0              6   16   10    
7.19/7.29	c 76843          199920         53067867       20502005       0              0              5   19   11    
8.00/8.03	c 84607          222145         58725908       22602240       0              0              5   19   11    
8.79/8.82	c 93147          244421         64608136       24839839       0              0              5   18   10    
9.69/9.71	c 102541         271094         71396797       27434414       0              0              4   20   11    
10.69/10.70	c 112874         298967         78692821       30258479       0              0              4   18   10    
11.69/11.77	c 124240         330332         86795627       33360865       0              0              6   21   12    
12.89/12.98	c 136742         363915         95571664       36862107       0              0              3   17   10    
14.19/14.24	c 150494         400115         105079317      40523235       0              0              5   19   11    
15.59/15.69	c 165621         442008         115664989      44723167       0              0              4   19   10    
17.19/17.26	c 182260         485394         127227049      49273211       0              0              4   18   10    
18.89/18.99	c 200562         532982         140102769      54222461       0              0              5   20   10    
20.89/20.91	c 220694         589416         154550243      59712682       0              0              5   22   11    
23.00/23.02	c 242839         651672         170250931      65866615       0              0              4   20   11    
25.39/25.49	c 267198         718779         188135990      73075304       0              0              4   20   10    
28.00/28.02	c 293992         791413         207202824      80277770       0              0              4   20   11    
30.69/30.77	c 323465         866254         227636871      88074906       0              0              4   19   10    
33.79/33.88	c 355885         956635         250947982      97045829       0              0              5   20   11    
37.00/37.04	c 391547         1050520        275220100      106117083      0              0              5   21   12    
40.79/40.82	c 430775         1158711        303462306      116892037      0              0              4   19   11    
44.89/44.95	c 473925         1273670        334018073      128720937      0              0              4   19   10    
49.49/49.54	c 521390         1408076        368446207      141999802      0              0              4   20   11    
54.29/54.38	c 573601         1542038        404547196      155907433      0              0              4   19   10    
59.69/59.76	c 631033         1691400        444096911      171367409      0              0              4   19   10    
65.49/65.58	c 694208         1861125        487882678      188318653      0              0              4   20   11    
71.89/71.99	c 763700         2042201        536857201      206345213      0              0              5   19   11    
79.00/79.01	c 840141         2245527        589753314      226644937      0              0              5   20   11    
86.89/86.90	c 924226         2455319        648211450      249068024      0              0              4   19   10    
95.69/95.71	c 1016719        2699120        714496259      274135511      0              0              3   19   10    
105.29/105.31	c 1118461        2960010        784331903      301848624      0              0              4   20   11    
116.29/116.36	c 1230377        3259393        865080732      333774680      0              0              4   20   11    
128.10/128.13	c 1353484        3597458        953740577      367252854      0              0              4   21   11    
140.29/140.38	c 1488901        3960912        1047181413     402655596      0              0              5   21   11    
154.39/154.43	c 1637859        4352217        1150693490     443384175      0              0              3   21   11    
169.89/169.92	c 1801712        4793549        1267132376     487492965      0              0              4   19   10    
186.80/186.87	c 1981950        5276393        1395411629     535438723      0              0              4   23   11    
205.10/205.11	c 2180211        5782456        1532947325     587392307      0              0              4   20   10    
226.20/226.25	c 2398298        6388603        1690101817     648458929      0              0              3   22   11    
250.30/250.39	c 2638193        7057556        1866235652     718095108      0              0              3   20   11    
276.11/276.17	c 2902077        7787982        2056756906     792215777      0              0              2   21   11    
303.01/303.02	c 3192349        8550892        2260770090     868088732      0              0              4   20   11    
332.80/332.83	c 3511648        9380548        2482252760     954529666      0              0              3   19   10    
365.20/365.21	c 3862876        10295376       2725684132     1047330565     0              0              4   20   11    
401.50/401.54	c 4249226        11351224       2998465345     1152643004     0              0              4   22   11    
443.60/443.69	c 4674211        12471004       3303322973     1273203633     0              0              4   21   10    
489.60/489.64	c 5141694        13791826       3642385122     1404835247     0              0              3   21   11    
538.70/538.79	c 5655925        15174820       4004580914     1547331897     0              0              3   20   10    
593.11/593.12	c 6221579        16646900       4404005209     1702413430     0              0              3   22   10    
656.01/656.07	c 6843798        18416542       4863691114     1883650358     1              0              3   21   11    
722.81/722.84	c 7528238        20329435       5362125052     2074979033     1              0              3   22   11    
797.81/797.80	c 8281122        22429028       5909421164     2291971520     2              0              2   21   10    
876.21/876.23	c 9109294        24562814       6489243097     2517427821     2              0              3   20   10    
962.91/962.91	c 10020283       27003055       7129160882     2767441515     2              0              3   20   10    
1058.41/1058.48	c 11022370       29679690       7835056535     3042761971     2              0              3   22   10    
1162.32/1162.37	c 12124665       32682295       8614246735     3341548494     2              0              3   22   11    
1278.82/1278.88	c 13337189       35921797       9469673750     3674824958     3              0              3   22   10    
1409.62/1409.68	c 14670965       39581524       10428704283    4055478964     4              0              3   22   10    
1548.53/1548.55	c 16138118       43555889       11464709026    4455842214     5              0              2   23   11    
1706.73/1706.75	c 17751986       48067459       12639198243    4906730689     7              0              2   23   11    
1881.84/1881.88	c 19527240       52885938       13916604374    5411716731     8              0              2   22   10    
2071.05/2071.06	c 21480019       58287286       15313391099    5956900886     9              0              2   22   11    
2277.65/2277.62	c 23628075       64284330       16857067351    6549209326     9              0              3   22   11    
2502.56/2502.58	c 25990936       70607465       18517473721    7196402506     10             0              2   24   10    
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 107         
2520.06/2520.00	c conflicts             : 26170891     (10385 /sec)
2520.06/2520.00	c decisions             : 71083834     (28207 /sec)
2520.06/2520.00	c propagations          : 7246316397  (2875441 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 18646409248    (7399158 /sec)
2520.06/2520.00	c useless filter calls  : 14867462241    (79 %)
2520.06/2520.00	c Memory used           : 27.27 MB
2520.06/2520.00	c CPU time              : 2520.07 s
2520.06/2520.00	
2520.06/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 (11632 MiB free)
  memory of node 1: 16384 MiB (9677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295675-1532563455/watcher-4295675-1532563455 -o /tmp/evaluation-result-4295675-1532563455/solver-4295675-1532563455 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295675-1532563455.xml 

running on 4 cores: 1,3,5,7

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=1242, runsolver pid=1239
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21821116/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27544 memory=3832 CPUtime=0.1 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1136 0 0 0 10 0 0 0 20 0 1 0 73908696 28205056 958 33554432000 4194304 6142532 140728603096080 140728603092712 5796104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6886 958 789 476 0 208 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27544 KiB
Current children cumulated memory: 3832 KiB

[startup+0.209405 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21820744/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4344 CPUtime=0.21 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1280 0 0 0 21 0 0 0 20 0 1 0 73908696 28590080 1086 33554432000 4194304 6142532 140728603096080 140728603092712 4995577 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1086 795 476 0 302 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4344 KiB

[startup+0.308951 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21820000/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4344 CPUtime=0.31 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1280 0 0 0 31 0 0 0 20 0 1 0 73908696 28590080 1086 33554432000 4194304 6142532 140728603096080 140728603093480 4995594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1086 795 476 0 302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4344 KiB

[startup+0.700272 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21820000/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4344 CPUtime=0.69 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1280 0 0 0 69 0 0 0 20 0 1 0 73908696 28590080 1086 33554432000 4194304 6142532 140728603096080 140728603093480 4995744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1086 795 476 0 302 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4344 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21820000/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4344 CPUtime=1.49 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1280 0 0 0 149 0 0 0 20 0 1 0 73908696 28590080 1086 33554432000 4194304 6142532 140728603096080 140728603093480 4995568 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1086 795 476 0 302 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4344 KiB

[startup+3.10904 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21819876/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=3.1 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1507 0 0 0 310 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995568 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21819612/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=6.29 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1734 0 0 0 629 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5327061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21819852/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=12.69 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 1961 0 0 0 1269 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995436 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21819852/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=25.49 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 2415 0 0 0 2549 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1243
/proc/meminfo: memFree=21819868/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=51.1 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 2642 0 0 0 5110 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5326540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1244
/proc/meminfo: memFree=21819788/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=102.29 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 2869 0 0 0 10229 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995681 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1245
/proc/meminfo: memFree=21820236/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=162.29 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 3096 0 0 0 16229 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995676 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1246
/proc/meminfo: memFree=21820300/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=222.3 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 3323 0 0 0 22230 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336745 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1247
/proc/meminfo: memFree=21820488/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=282.3 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 3550 0 0 0 28230 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995353 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1248
/proc/meminfo: memFree=21820296/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=342.3 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 3777 0 0 0 34230 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336753 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1257
/proc/meminfo: memFree=21819644/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=402.3 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 4004 0 0 0 40230 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336586 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+462.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 1386
/proc/meminfo: memFree=21818572/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=462.3 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 4231 0 0 0 46230 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB


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

/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 1426
/proc/meminfo: memFree=21817112/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=1782.34 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 9132 0 0 0 178234 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 1427
/proc/meminfo: memFree=21816872/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=1842.34 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 9347 0 0 0 184234 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 1428
/proc/meminfo: memFree=21816764/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=1902.34 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 9574 0 0 0 190234 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995700 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 1429
/proc/meminfo: memFree=21816368/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=1962.34 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 9789 0 0 0 196234 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 1430
/proc/meminfo: memFree=21816492/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2022.34 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 10004 0 0 0 202234 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 1431
/proc/meminfo: memFree=21816632/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2082.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 10231 0 0 0 208235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4990890 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1432
/proc/meminfo: memFree=21816260/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2142.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 10446 0 0 0 214235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1440
/proc/meminfo: memFree=21816616/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2202.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 10661 0 0 0 220235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5170144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 1441
/proc/meminfo: memFree=21817112/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2262.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 10876 0 0 0 226235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995879 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1442
/proc/meminfo: memFree=21816896/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2322.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 11103 0 0 0 232235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1443
/proc/meminfo: memFree=21816632/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2382.35 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 11318 0 0 0 238235 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5336837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1444
/proc/meminfo: memFree=21817012/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2442.36 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 11533 0 0 0 244236 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995448 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1445
/proc/meminfo: memFree=21816732/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2502.36 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 11753 0 0 0 250236 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1446
/proc/meminfo: memFree=21816352/32770624 swapFree=67108860/67108860
[pid=1242] ppid=1239 vsize=27920 memory=4496 CPUtime=2520.06 cores=1,3,5,7
/proc/1242/stat : 1242 (cosoco) R 1239 1242 30456 0 -1 4202496 11980 0 0 0 252006 0 0 0 20 0 1 0 73908696 28590080 1124 33554432000 4194304 6142532 140728603096080 140728603093480 5326516 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26329088 140728603104390 140728603104520 140728603104520 140728603107278 0
/proc/1242/statm: 6980 1124 831 476 0 302 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 4496 KiB

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

[startup+2520.01 s]
# the end of solver process 1242 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.005 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): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.005
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27920
Max. memory (cumulated for all children) (KiB): 4496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.005
maximum resident set size= 4560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12028
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= 686


# summary of solver processes directly reported to runsolver:
#   pid: 1242
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45839 second user time and 16.2327 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 02:04:15
IDJOB=4295675
IDBENCH=141589
IDSOLVER=2752
FILE ID=node149/4295675-1532563455
RUNJOBID= node149-1532542931-30488
PBS_JOBID= 21021951
Free space on /tmp= 43256 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-4295675-1532563455/watcher-4295675-1532563455 -o /tmp/evaluation-result-4295675-1532563455/solver-4295675-1532563455 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295675-1532563455.xml

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

MD5SUM BENCH= 89c27d49b20a714b89297264b4c82bd7
RANDOM SEED=86067969

node149.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.60
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.60
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.60
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.60
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:        21822016 kB
MemAvailable:   31928388 kB
Buffers:          127028 kB
Cached:         10123996 kB
SwapCached:            0 kB
Active:          2342116 kB
Inactive:        7965856 kB
Active(anon):       4820 kB
Inactive(anon):    79884 kB
Active(file):    2337296 kB
Inactive(file):  7885972 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:         66404 kB
Mapped:            41824 kB
Shmem:             25224 kB
Slab:             339992 kB
SReclaimable:     311564 kB
SUnreclaim:        28428 kB
KernelStack:        3392 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 02:46:15