Trace number 4295648

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-56-25-1-mgd_c18.xml
MD5SUM8755358fe24c17b0dd51c4ab818b1437
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 variables56
Number of constraints517
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":56}]
Minimum variable degree12
Maximum variable degree27
Distribution of variable degrees[{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":5},{"degree":16,"count":3},{"degree":17,"count":7},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":6},{"degree":22,"count":2},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":517}]
Number of extensional constraints517
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":517}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.25	c root propagations     : 0           
0.21/0.25	c restarts enabled, print stats at every restarts
0.21/0.25	c
0.21/0.25	c
0.21/0.25	c
0.21/0.25	c This is cosoco 1.12 --  
0.21/0.25	c
0.21/0.25	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295648-1532561338.xml 
0.21/0.25	c ========================================[ Problem Statistics ]===========================================
0.21/0.25	c |                                                                                                       
0.21/0.25	c |  Parse time        :         0.25 s 
0.21/0.25	c |
0.21/0.25	c |               Variables: 56
0.21/0.25	c |            Domain Sizes: 25..25
0.21/0.25	c |
0.21/0.25	c |             Constraints: 517
0.21/0.25	c |                   Arity: 2..2  -- Binary: 517
0.21/0.25	c | 
0.21/0.25	c |                   Types: 
0.21/0.25	c |                          Extension: 517  (nb tuples: 156..283) -- (shared: 0)
0.21/0.25	c |                          
0.21/0.25	c =========================================================================================================
0.21/0.25	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.21/0.26	c 101            242            81227          29796          0              0              11   16   12   
0.21/0.27	c 211            499            160343         58836          0              0              9   16   13    
0.21/0.28	c 332            831            264350         95000          0              0              10   17   12   
0.21/0.30	c 465            1152           360736         133176         0              0              8   15   11    
0.21/0.31	c 611            1485           464331         168259         0              0              10   15   12   
0.31/0.33	c 771            1925           594439         215295         0              0              9   17   13    
0.31/0.35	c 947            2377           724127         257156         0              0              9   18   13    
0.31/0.37	c 1140           2841           872868         315507         0              0              9   17   11    
0.31/0.39	c 1352           3371           1039642        369493         0              0              11   19   14   
0.41/0.42	c 1585           4051           1255036        441217         0              0              9   18   13    
0.41/0.44	c 1841           4704           1460456        509901         0              0              10   16   13   
0.41/0.47	c 2122           5445           1693205        589490         0              0              9   18   13    
0.41/0.51	c 2431           6326           1941645        677444         0              0              9   18   12    
0.51/0.55	c 2770           7256           2220929        774216         0              0              9   19   13    
0.51/0.58	c 3142           8223           2507703        867112         0              0              10   18   14   
0.60/0.63	c 3551           9215           2835776        980316         0              0              9   16   12    
0.60/0.68	c 4000           10522          3231027        1116518        0              0              9   17   13    
0.69/0.73	c 4493           11922          3655090        1257030        0              0              9   20   14    
0.69/0.79	c 5035           13276          4058342        1392386        0              0              9   19   13    
0.79/0.85	c 5631           14843          4555278        1564076        0              0              9   18   13    
0.89/0.92	c 6286           16514          5065699        1741736        0              0              9   18   13    
0.89/1.00	c 7006           18318          5620695        1939749        0              0              8   16   12    
1.00/1.08	c 7798           20508          6271219        2169707        0              0              8   18   12    
1.10/1.18	c 8669           22877          6992033        2423622        0              0              8   19   13    
1.19/1.27	c 9627           25362          7728664        2669337        0              0              8   18   13    
1.39/1.40	c 10680          28217          8606482        2992436        0              0              7   18   11    
1.49/1.52	c 11838          31326          9565653        3312949        0              0              7   17   12    
1.59/1.66	c 13111          34770          10606582       3664663        0              0              8   18   13    
1.79/1.81	c 14511          38392          11735615       4052804        0              0              8   18   13    
1.89/1.97	c 16051          42703          12989182       4484529        0              0              7   19   13    
2.10/2.16	c 17745          47178          14371615       4957682        0              0              8   18   13    
2.29/2.36	c 19608          52249          15907966       5483096        0              0              8   18   13    
2.49/2.58	c 21657          58000          17603151       6063915        0              0              8   18   13    
2.79/2.81	c 23910          63404          19337008       6676796        0              0              8   18   12    
3.00/3.09	c 26388          70285          21414156       7416607        0              0              7   20   12    
3.29/3.37	c 29113          77650          23583192       8150847        0              0              7   19   13    
3.69/3.70	c 32110          85752          26013287       9001874        0              0              8   19   13    
4.00/4.07	c 35406          94463          28730552       9971455        0              0              8   20   13    
4.39/4.48	c 39031          104551         31803671       11044125       0              0              6   19   12    
4.89/4.91	c 43018          114854         35037458       12181583       0              0              7   18   12    
5.39/5.42	c 47403          127211         38801552       13521375       0              0              6   20   12    
5.89/5.96	c 52226          140421         42831314       14910746       0              0              7   18   12    
6.49/6.54	c 57531          154372         47175851       16432196       0              0              7   19   12    
7.10/7.14	c 63366          170285         51896749       17990481       0              0              8   20   14    
7.79/7.86	c 69784          187452         57229541       19871411       0              0              7   19   12    
8.49/8.58	c 76843          206105         62846156       21715984       0              0              8   19   13    
9.39/9.41	c 84607          226871         69158289       23933175       0              0              7   19   13    
10.29/10.34	c 93147          248194         75952471       26456736       0              0              7   18   12    
11.29/11.37	c 102541         273629         83675213       29133064       0              0              6   19   12    
12.39/12.49	c 112874         301581         92296009       32009835       0              0              7   20   13    
13.59/13.63	c 124240         333365         101386485      34956900       0              0              7   22   14    
14.89/14.99	c 136742         366085         111500716      38515772       0              0              7   19   13    
16.39/16.43	c 150494         403227         122609902      42208497       0              0              7   21   14    
18.00/18.02	c 165621         442622         134686659      46358500       0              0              6   19   12    
19.69/19.78	c 182260         486043         147846193      50991308       0              0              6   20   12    
21.69/21.78	c 200562         534999         163240363      56261080       0              0              7   20   12    
23.89/23.97	c 220694         587049         179592101      62070487       0              0              6   18   12    
26.29/26.34	c 242839         644654         197265287      68277201       0              0              6   19   12    
28.89/28.99	c 267198         712348         217200470      75281408       0              0              7   22   13    
31.79/31.80	c 293992         783727         238783636      82591792       0              0              7   21   14    
34.89/34.97	c 323465         861328         262489146      90857167       0              0              6   20   12    
38.39/38.41	c 355885         946987         288680461      99748189       0              0              6   19   12    
42.19/42.28	c 391547         1040300        317625336      109862039      0              0              6   20   12    
46.39/46.45	c 430775         1142215        349109499      120697520      0              0              6   21   13    
51.10/51.12	c 473925         1258795        385138401      132952361      0              0              6   20   12    
56.29/56.34	c 521390         1391196        424169368      146761634      0              0              6   21   13    
61.89/61.90	c 573601         1528771        465931511      161395634      0              0              6   20   12    
68.39/68.47	c 631033         1685682        513969983      178719831      0              0              6   19   12    
75.00/75.04	c 694208         1855959        564008255      195823432      0              0              6   22   13    
82.49/82.56	c 763700         2047062        621776039      215454201      0              0              7   22   13    
90.69/90.77	c 840141         2252024        683998370      236842626      0              0              6   20   13    
100.00/100.05	c 924226         2471359        751820464      261504503      0              0              7   20   12    
109.59/109.66	c 1016719        2720299        825374212      286683486      0              0              7   21   13    
120.39/120.48	c 1118461        2994148        908131909      314874222      0              0              7   22   13    
132.29/132.36	c 1230377        3287109        998106339      345598765      0              0              5   20   12    
144.89/144.97	c 1353484        3616016        1095856287     378701276      0              0              6   23   13    
159.90/159.93	c 1488901        3995220        1208542426     417995551      0              0              6   22   13    
176.40/176.46	c 1637859        4398301        1331023945     461444743      0              0              6   21   12    
194.70/194.71	c 1801712        4842092        1466426559     508521314      0              0              6   20   12    
215.00/215.10	c 1981950        5327152        1615791670     562108649      0              0              5   20   12    
236.20/236.28	c 2180211        5860107        1776341517     617325369      0              0              6   20   12    
260.70/260.74	c 2398298        6462194        1958042621     681543333      0              0              5   21   12    
286.00/286.00	c 2638193        7142607        2156067726     746452050      0              0              5   22   13    
315.30/315.37	c 2902077        7831538        2371638625     822653106      0              0              6   20   12    
346.01/346.06	c 3192349        8618015        2604657988     903183992      0              0              6   22   13    
380.80/380.89	c 3511648        9469306        2865699633     994444443      0              0              5   21   12    
419.80/419.89	c 3862876        10436958       3156617750     1097699735     0              0              5   22   12    
459.80/459.87	c 4249226        11483590       3465038810     1202734401     0              0              5   21   13    
506.60/506.60	c 4674211        12649115       3814198986     1324453987     0              0              5   21   12    
555.81/555.82	c 5141694        13904966       4191459058     1454296861     0              0              6   22   13    
610.91/610.96	c 5655925        15283891       4607709929     1598649035     0              0              5   21   12    
672.41/672.40	c 6221579        16799076       5068739122     1758212475     0              0              5   21   12    
740.41/740.44	c 6843798        18546040       5576077282     1936684210     0              0              4   23   13    
815.12/815.16	c 7528238        20441558       6141920247     2131945464     0              0              5   23   13    
897.22/897.21	c 8281122        22450424       6751909075     2345687773     0              0              5   22   12    
988.02/988.09	c 9109294        24730267       7431093545     2583460184     0              0              5   22   13    
1082.32/1082.31	c 10020283       27223591       8167734639     2828618013     0              0              5   23   13    
1190.03/1190.04	c 11022370       29913399       8981613853     3109305054     0              0              5   21   12    
1312.33/1312.36	c 12124665       32886951       9888741339     3428292747     0              0              5   22   12    
1444.43/1444.42	c 13337189       36214033       10877306173    3774923586     0              0              4   22   12    
1592.44/1592.47	c 14670965       39857430       11972826536    4165546921     0              0              5   22   12    
1747.15/1747.11	c 16138118       44043472       13180853959    4563087064     0              0              4   23   13    
1923.35/1923.35	c 17751986       48476083       14504778532    5024276788     0              0              5   22   12    
2111.16/2111.17	c 19527240       53261502       15929416659    5516383739     0              0              4   22   13    
2325.06/2325.02	c 21480019       58619827       17541494677    6069994831     0              0              4   22   12    
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 105         
2520.06/2520.00	c conflicts             : 23237473     (9221 /sec)
2520.06/2520.00	c decisions             : 63421807     (25167 /sec)
2520.06/2520.00	c propagations          : 6575159686  (2609116 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 18992365881    (7536439 /sec)
2520.06/2520.00	c useless filter calls  : 15382257405    (80 %)
2520.06/2520.00	c Memory used           : 27.75 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 (11635 MiB free)
  memory of node 1: 16384 MiB (9675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295648-1532561338/watcher-4295648-1532561338 -o /tmp/evaluation-result-4295648-1532561338/solver-4295648-1532561338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295648-1532561338.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
Current StackSize limit: 8192 KiB

solver pid=1077, runsolver pid=1074

[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21821704/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=27652 memory=3944 CPUtime=0.1 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1152 0 0 0 10 0 0 0 20 0 1 0 73697044 28315648 986 33554432000 4194304 6142532 140720855441760 140720855438392 5802417 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 6913 986 789 476 0 235 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27652 KiB
Current children cumulated memory: 3944 KiB

[startup+0.20951 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21821332/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28152 memory=4308 CPUtime=0.21 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1268 0 0 0 21 0 0 0 20 0 1 0 73697044 28827648 1077 33554432000 4194304 6142532 140720855441760 140720855438392 5798885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7038 1077 789 476 0 360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28152 KiB
Current children cumulated memory: 4308 KiB

[startup+0.308938 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820448/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4832 CPUtime=0.31 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1385 0 0 0 31 0 0 0 20 0 1 0 73697044 29093888 1208 33554432000 4194304 6142532 140720855441760 140720855439416 4990765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1208 811 476 0 425 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4832 KiB

[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820448/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4832 CPUtime=0.69 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1385 0 0 0 69 0 0 0 20 0 1 0 73697044 29093888 1208 33554432000 4194304 6142532 140720855441760 140720855439416 5326540 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1208 811 476 0 425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4832 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820448/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4832 CPUtime=1.49 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1385 0 0 0 149 0 0 0 20 0 1 0 73697044 29093888 1208 33554432000 4194304 6142532 140720855441760 140720855439160 5336599 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1208 811 476 0 425 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4832 KiB

[startup+3.10905 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820440/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=3.1 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 1718 0 0 0 310 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820256/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=6.29 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 2051 0 0 0 629 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5170084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820336/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=12.69 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 2384 0 0 0 1269 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995314 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820340/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=25.49 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 3050 0 0 0 2549 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1078
/proc/meminfo: memFree=21820084/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=51.1 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 3384 0 0 0 5110 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 1095
/proc/meminfo: memFree=21819932/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=102.29 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 3717 0 0 0 10229 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5326512 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 1096
/proc/meminfo: memFree=21820308/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=162.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 4050 0 0 0 16230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 1097
/proc/meminfo: memFree=21820432/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=222.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 4383 0 0 0 22230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1098
/proc/meminfo: memFree=21820396/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=282.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 4716 0 0 0 28230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5170034 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 1099
/proc/meminfo: memFree=21819908/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=342.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 5048 0 0 0 34230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 1100
/proc/meminfo: memFree=21819932/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=402.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 5381 0 0 0 40230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995676 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+462.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 1101
/proc/meminfo: memFree=21819296/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=462.3 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 5714 0 0 0 46230 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB


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

/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1142
/proc/meminfo: memFree=21819820/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=1782.34 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 12925 0 0 0 178234 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 1143
/proc/meminfo: memFree=21819944/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=1842.34 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 13250 0 0 0 184234 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5336745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 1152
/proc/meminfo: memFree=21819016/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=1902.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 13570 0 0 0 190235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995343 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1179
/proc/meminfo: memFree=21817760/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=1962.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 13904 0 0 0 196235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5326543 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1180
/proc/meminfo: memFree=21818000/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2022.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 14225 0 0 0 202235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1181
/proc/meminfo: memFree=21818604/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2082.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 14546 0 0 0 208235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1243
/proc/meminfo: memFree=21819852/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2142.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 14879 0 0 0 214235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1244
/proc/meminfo: memFree=21819788/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2202.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 15199 0 0 0 220235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5336528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1245
/proc/meminfo: memFree=21819984/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2262.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 15519 0 0 0 226235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1246
/proc/meminfo: memFree=21820300/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2322.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 15839 0 0 0 232235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1247
/proc/meminfo: memFree=21820488/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2382.35 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 16172 0 0 0 238235 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1248
/proc/meminfo: memFree=21820296/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2442.36 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 16492 0 0 0 244236 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1257
/proc/meminfo: memFree=21819644/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2502.36 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 16812 0 0 0 250236 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 5327323 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1257
/proc/meminfo: memFree=21819644/32770624 swapFree=67108860/67108860
[pid=1077] ppid=1074 vsize=28412 memory=4920 CPUtime=2520.06 cores=0,2,4,6
/proc/1077/stat : 1077 (cosoco) R 1074 1077 30456 0 -1 4202496 17132 0 0 0 252006 0 0 0 20 0 1 0 73697044 29093888 1230 33554432000 4194304 6142532 140720855441760 140720855439160 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37183488 140720855446662 140720855446792 140720855446792 140720855449550 0
/proc/1077/statm: 7103 1230 831 476 0 425 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4920 KiB

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

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

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.137 second user time and 17.1034 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 01:28:58
IDJOB=4295648
IDBENCH=141586
IDSOLVER=2752
FILE ID=node149/4295648-1532561338
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43256 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Frb/frb-56-25-1-mgd_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295648-1532561338/watcher-4295648-1532561338 -o /tmp/evaluation-result-4295648-1532561338/solver-4295648-1532561338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295648-1532561338.xml

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

MD5SUM BENCH= 8755358fe24c17b0dd51c4ab818b1437
RANDOM SEED=524989442

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:        21822852 kB
MemAvailable:   31928252 kB
Buffers:          126292 kB
Cached:         10123488 kB
SwapCached:            0 kB
Active:          2342248 kB
Inactive:        7964804 kB
Active(anon):       4944 kB
Inactive(anon):    79884 kB
Active(file):    2337304 kB
Inactive(file):  7884920 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3224 kB
Writeback:             0 kB
AnonPages:         64444 kB
Mapped:            41560 kB
Shmem:             25224 kB
Slab:             340236 kB
SReclaimable:     311636 kB
SUnreclaim:        28600 kB
KernelStack:        3360 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:10:59